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

UML State machines

Label

UML State machines (literal)

Membro di

Parole chiave di "A state/event-based model-checking approach for the analysis of abstract system properties" (Insieme di parole chiave)

Value

UML State machines (literal)

Incoming links:

Ha membro

Parole chiave di "A state/event-based model-checking approach for the analysis of abstract system properties" (Insieme di parole chiave)

data.CNR.it