http://www.cnr.it/ontology/cnr/individuo/parolaChiave/5325

C.2.2 Network Protocols. Protocol verification

Label

C.2.2 Network Protocols. Protocol verification (literal)

Membro di

Parole chiave di "An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications" (Insieme di parole chiave)
Parole chiave di "Formal modelling and verification of an asynchronous extension of SOAP" (Insieme di parole chiave)

Value

C.2.2 Network Protocols. Protocol verification (literal)

Incoming links:

Ha membro

Parole chiave di "An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications" (Insieme di parole chiave)
Parole chiave di "Formal modelling and verification of an asynchronous extension of SOAP" (Insieme di parole chiave)

data.CNR.it