Publications

Found 2 results
Filters: Author is Angelo Furfaro and Keyword is Analytical models  [Clear All Filters]
2008
A. Furfaro and Nigro, L., “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.
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.