Publications

Found 2 results
Filters: Keyword is Timing  [Clear All Filters]
2005
A. Furfaro and Nigro, L., “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.
2002
A. Furfaro, Nigro, L., and Pupo, F., “Distributed simulation of timed coloured Petri nets”, in Distributed Simulation and Real-Time Applications, 2002. Proceedings. Sixth IEEE International Workshop on, 2002, pp. 159-166.