Publications

Found 2 results
Filters: Author is Libero Nigro and Keyword is finite state machines  [Clear All Filters]
2007
F. Cicirelli, Furfaro, A., Giordano, A., and Nigro, L., “An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles”, in Simulation Symposium, 2007. ANSS '07. 40th Annual, 2007, pp. 231-238.
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.