Parole chiave di "Formal verification of an automotive scenario in service-oriented computing"

Label

• Parole chiave di "Formal verification of an automotive scenario in service-oriented computing" (literal)
• Keywords of "Formal verification of an automotive scenario in service-oriented computing" (literal)

Insieme di parole chiave di

• Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)

Ha membro

• Model checking (Parola chiave)
• Automotive systems (Parola chiave)
• D.2.4 Software/Program Verification (Parola chiave)
• Service-Oriented Computing (Parola chiave)

Incoming links:

Insieme di parole chiave

• Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)

Membro di

• Model checking (Parola chiave)
• D.2.4 Software/Program Verification (Parola chiave)
• Service-Oriented Computing (Parola chiave)
• Automotive systems (Parola chiave)