Patterns for Temporal Requirements Engineering - A Level Crossing Case Study - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Patterns for Temporal Requirements Engineering - A Level Crossing Case Study

Domaines

Automatique
Fichier non déposé

Dates et versions

hal-00801135 , version 1 (15-03-2013)

Identifiants

  • HAL Id : hal-00801135 , version 1

Citer

Ahmed Mekki, Mohamed Ghazel, Armand Toguyeni. Patterns for Temporal Requirements Engineering - A Level Crossing Case Study. 7th International Conference on Informatics in Control, Automation and Robotics, Jun 2010, Funchal, Portugal. pp.45-52. ⟨hal-00801135⟩
102 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More