Publications
Found 2 results
Filters: Author is Angelo Furfaro and Keyword is Automata [Clear All Filters]
, “Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL”, in Computer Science and Information Technology, 2008. IMCSIT 2008. International Multiconference on, 2008, pp. 601-608.
, “Model checking hierarchical communicating real-time state machines”, in Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on, 2005, vol. 1, p. 6 pp.-370.