Keywords of "A state/event-based model-checking approach for the analysis of abstract system properties"
- Label
- Keywords of "A state/event-based model-checking approach for the analysis of abstract system properties" (literal)
- Parole chiave di "A state/event-based model-checking approach for the analysis of abstract system properties" (literal)
- Insieme di parole chiave di
- A state/event-based model-checking approach for the analysis of abstract system properties (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Ha membro
- Temporal logic (Parola chiave)
- UML State machines (Parola chiave)
- Model checking (Parola chiave)
- Service-oriented computing (Parola chiave)
- F.4.1 Mathematical Logic. Temporal logic (Parola chiave)
- Automotive systems Service-oriented computing (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)
Incoming links:
- Insieme di parole chiave
- A state/event-based model-checking approach for the analysis of abstract system properties (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Membro di
- Temporal logic (Parola chiave)
- Model checking (Parola chiave)
- D.2.4 Software/Program Verification. Formal methods (Parola chiave)
- Automotive systems Service-oriented computing (Parola chiave)
- Service-oriented computing (Parola chiave)
- F.4.1 Mathematical Logic. Temporal logic (Parola chiave)
- UML State machines (Parola chiave)
- D.2.4 Software/Program Verification. Model Checking (Parola chiave)
- Formal methods (Parola chiave)
