Parole chiave di "An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications"

Label

• Parole chiave di "An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications" (literal)
• Keywords of "An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications" (literal)

Insieme di parole chiave di

• An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications (Contributo in atti di convegno) (Prodotto della ricerca)

Ha membro

• Model checking (Parola chiave)
• D.2.4 Software/Program Verification. Model checking (Parola chiave)
• D.2.4 Software/Program Verification. Formal methods (Parola chiave)
• C.2.2 Network Protocols. Protocol verification (Parola chiave)
• Formal methods (Parola chiave)

Incoming links:

Insieme di parole chiave

• An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications (Contributo in atti di convegno) (Prodotto della ricerca)

Membro di

• Model checking (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)
• C.2.2 Network Protocols. Protocol verification (Parola chiave)