External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Timed Specification Patterns for System Validation: A Railway Case Study

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]

Authors

Ahmed Mekki

This author has not been identified. Look up 'Ahmed Mekki' in Google

Mohamed Ghazel

This author has not been identified. Look up 'Mohamed Ghazel' in Google

Armand Toguyéni

This author has not been identified. Look up 'Armand Toguyéni' in Google
runs on