Parole chiave di "CMC-UMC: a framework for the verification of abstract service-oriented properties"
- Label
- Parole chiave di "CMC-UMC: a framework for the verification of abstract service-oriented properties" (literal)
- Keywords of "CMC-UMC: a framework for the verification of abstract service-oriented properties" (literal)
- Insieme di parole chiave di
- CMC-UMC: a framework for the verification of abstract service-oriented properties (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Ha membro
- Model checking (Parola chiave)
- D.2.4 Software/Program Verification. Model checking (Parola chiave)
- Service-Oriented Computing (Parola chiave)
Incoming links:
- Insieme di parole chiave
- CMC-UMC: a framework for the verification of abstract service-oriented properties (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. Model checking (Parola chiave)
- Service-Oriented Computing (Parola chiave)
