Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui. CIRTA: An ECATNets Based Model for Embedded Systems Specification. In Laurence Tianruo Yang, Hamid R. Arabnia, Jürgen Becker, Masaharu Imai, Zoran A. Salcic, editors, Proceedings of The 2005 International Conference on Embedded Systems and Applications, ESA 2005, Las Vegas, Nevada, USA, June 27-30, 2005. pages 261-267, CSREA Press, 2005.
Abstract is missing.