Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms

Contributo in Atti di convegno
Data di Pubblicazione:
2009
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Metric temporal logic, timed Petri nets; timed automata; discretization; dense time; bounded model checking
Elenco autori:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/436028