Parole chiave di "Formal modelling and verification in service-oriented computing"

Label

• Parole chiave di "Formal modelling and verification in service-oriented computing" (literal)
• Keywords of "Formal modelling and verification in service-oriented computing" (literal)

Insieme di parole chiave di

• Formal modelling and verification in service-oriented computing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)

Ha membro

• D.4.6 Security and Protection. Verification (Parola chiave)
• D.2.4 Software/Program Verification. Model checking (Parola chiave)
• Modelling (Parola chiave)
• D.2.4 Software/Program Verification. Formal methods (Parola chiave)
• K.6.5 Security and Protection (Parola chiave)

Incoming links:

Insieme di parole chiave

• Formal modelling and verification in service-oriented computing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)

Membro di

• D.2.4 Software/Program Verification. Formal methods (Parola chiave)
• Modelling (Parola chiave)
• D.2.4 Software/Program Verification. Model checking (Parola chiave)
• K.6.5 Security and Protection (Parola chiave)
• D.4.6 Security and Protection. Verification (Parola chiave)