Parole chiave di "Formal modeling for product families engineering"
- Label
- Parole chiave di "Formal modeling for product families engineering" (literal)
- Keywords of "Formal modeling for product families engineering" (literal)
- Insieme di parole chiave di
- Formal modeling for product families engineering (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Ha membro
- Product lines (Parola chiave)
- F.4.1 Mathematical Logic (Parola chiave)
- Formal modeling verification (Parola chiave)
- D.2.1 Requirements/Specifications (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Formal modeling for product families engineering (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Membro di
- D.2.4 Software/Program Verification (Parola chiave)
- Product lines (Parola chiave)
- D.2.1 Requirements/Specifications (Parola chiave)
- F.4.1 Mathematical Logic (Parola chiave)
- Formal modeling verification (Parola chiave)
