Parole chiave di "Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms"
- Label
- Parole chiave di "Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms" (literal)
- Keywords of "Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms" (literal)
- Insieme di parole chiave di
- Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Ha membro
- timed Petri nets, timed automata (Parola chiave)
- discretization (Parola chiave)
- dense time (Parola chiave)
- bounded model checking (Parola chiave)
- Metric temporal logic, (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)
- Membro di
- timed Petri nets, timed automata (Parola chiave)
- discretization (Parola chiave)
- dense time (Parola chiave)
- bounded model checking (Parola chiave)
- Metric temporal logic, (Parola chiave)
