Keywords of "Formal methods and analyses in software product line engineering (Track Summary)"
- Label
- Keywords of "Formal methods and analyses in software product line engineering (Track Summary)" (literal)
- Parole chiave di "Formal methods and analyses in software product line engineering (Track Summary)" (literal)
- Insieme di parole chiave di
- Formal methods and analyses in software product line engineering (Track Summary) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Ha membro
- Software Product Line Engineering (Parola chiave)
- Formal methods (Parola chiave)
- Analysis techniques (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Formal methods and analyses in software product line engineering (Track Summary) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Membro di
- Formal methods (Parola chiave)
- Software Product Line Engineering (Parola chiave)
- Analysis techniques (Parola chiave)