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 (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)

Ha membro

• Metric temporal logic, timed Petri nets (Parola chiave)
• timed automata (Parola chiave)
• discretization (Parola chiave)
• dense time (Parola chiave)
• bounded model checking (Parola chiave)

Incoming links:

Insieme di parole chiave

• Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)

Membro di

• discretization (Parola chiave)
• dense time (Parola chiave)
• bounded model checking (Parola chiave)
• timed automata (Parola chiave)
• Metric temporal logic, timed Petri nets (Parola chiave)