Parole chiave di "Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker"

Label

• Parole chiave di "Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker" (literal)
• Keywords of "Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker" (literal)

Insieme di parole chiave di

• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)

Ha membro

• PROMELA (Parola chiave)
• Program transformation (Parola chiave)
• UML Statechart Diagrams (Parola chiave)
• Model-checking (Parola chiave)
• SPIN (Parola chiave)

Incoming links:

Insieme di parole chiave

• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)

Membro di

• SPIN (Parola chiave)
• Model-checking (Parola chiave)
• PROMELA (Parola chiave)
• UML Statechart Diagrams (Parola chiave)
• Program transformation (Parola chiave)