Publications

Found 1 results
Filters: Keyword is RT-DEVS  [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.