Parole chiave di "An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications"

Label

• Parole chiave di "An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications" (literal)
• Keywords of "An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications" (literal)

Insieme di parole chiave di

• An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)

Ha membro

• Temporal logic (Parola chiave)
• Model checking (Parola chiave)
• D.2.4 Software/Program Verification (Parola chiave)
• Service-oriented computing (Parola chiave)

Incoming links:

Insieme di parole chiave

• An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)

Membro di

• Temporal logic (Parola chiave)
• Model checking (Parola chiave)
• D.2.4 Software/Program Verification (Parola chiave)
• Service-oriented computing (Parola chiave)