• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Patterns for Temporal Requirements Engineering ...
  • BibTeX
  • CSV
  • Excel
  • RIS

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 :
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Source :
Harvested from HAL
Université de Lille

Mentions légales
Université de Lille © 2017