Parole chiave di "A model-checking approach for service component architectures"
- Label
- Parole chiave di "A model-checking approach for service component architectures" (literal)
- Keywords of "A model-checking approach for service component architectures" (literal)
- Insieme di parole chiave di
- A model-checking approach for service component architectures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Ha membro
- D.2.2 Design Tools and Techniques (Parola chiave)
- model-checker UMC (Parola chiave)
- Branching time temporal logic UCTL (Parola chiave)
- Formal modelling framework for service-oriented computing - SRML (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
Incoming links:
- Insieme di parole chiave
- A model-checking approach for service component architectures (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Membro di
- model-checker UMC (Parola chiave)
- Branching time temporal logic UCTL (Parola chiave)
- D.2.2 Design Tools and Techniques (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
- Formal modelling framework for service-oriented computing - SRML (Parola chiave)
