Patterns for Temporal Requirements Engineering ...

Type de document :
Communication dans un congrès avec actes
Titre :
Patterns for Temporal Requirements Engineering - A Level Crossing Case Study
Auteur(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] refId
Systèmes Tolérants aux Fautes [STF]
Titre de la manifestation scientifique :
7th International Conference on Informatics in Control, Automation and Robotics
Ville :
Funchal
Pays :
Portugal
Date de début de la manifestation scientifique :
2010-06-15
Titre de l’ouvrage :
Proceeding of ICINCO'2010
Date de publication :
2010-06-15
Discipline(s) HAL :
Informatique [cs]/Automatique
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL