Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet. Operative architecture design and modelling for the validation of real-time applications. In Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 2. pages 649-652, IEEE, 2001. [doi]
Abstract is missing.