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

Conference Paper
Publication Date:
2009
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Metric temporal logic, timed Petri nets; timed automata; discretization; dense time; bounded model checking
List of contributors:
Handle:
https://iris.cnr.it/handle/20.500.14243/436028