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)