Patterns for Temporal Requirements Engineering ...

Document type :
Communication dans un congrès avec actes
Title :
Patterns for Temporal Requirements Engineering - A Level Crossing Case Study
Author(s) :
Mekki, Ahmed [Auteur]
Systèmes Tolérants aux Fautes [STF]
Ghazel, Mohamed [Auteur]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [IFSTTAR/ESTAS]
Université de Lille, Sciences et Technologies
Toguyeni, Armand [Auteur]
Systèmes Tolérants aux Fautes [STF]
Conference title :
7th International Conference on Informatics in Control, Automation and Robotics
City :
Funchal
Country :
Portugal
Start date of the conference :
2010-06-15
Book title :
Proceeding of ICINCO'2010
Publication date :
2010-06-15
HAL domain(s) :
Informatique [cs]/Automatique
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Harvested from HAL