Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni. Timed Specification Patterns for System Validation: A Railway Case Study. In Juan Andrade-Cetto, Jean-Louis Ferrier, Joaquim Filipe, editors, Informatics in Control, Automation and Robotics - Revised and Selected Papers from the International Conference on Informatics in Control, Automation and Robotics 2010, ICINCO 2010, Funchal, Madeira, Portugal, June 15-18, 2010. Volume 89 of Lecture Notes in Electrical Engineering, pages 121-134, 2010. [doi]
Abstract is missing.