Parole chiave di "Formal methods for industrial critical systems: a survey of applications"
- Label
- Parole chiave di "Formal methods for industrial critical systems: a survey of applications" (literal)
- Keywords of "Formal methods for industrial critical systems: a survey of applications" (literal)
- Insieme di parole chiave di
- Formal methods for industrial critical systems: a survey of applications (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Ha membro
- D.2.4 Software/Program Verification. Model checking (Parola chiave)
- Critical Systems (Parola chiave)
- D.2.4 Software/Program Verification. Formal methods (Parola chiave)
- Software engineering (Parola chiave)
- Formal methods (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Formal methods for industrial critical systems: a survey of applications (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Membro di
- Software engineering (Parola chiave)
- Critical Systems (Parola chiave)
- D.2.4 Software/Program Verification. Formal methods (Parola chiave)
- D.2.4 Software/Program Verification. Model checking (Parola chiave)
- Formal methods (Parola chiave)
