A formal model of requirements

Type de document :
Compte-rendu et recension critique d'ouvrage
Titre :
A formal model of requirements
Auteur(s) :
Defossez, François [Auteur]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [INRETS/ESTAS]
Laboratoire d'Automatique, Génie Informatique et Signal [LAGIS]
Collart-Dutilleul, Simon [Auteur]
Systèmes Tolérants aux Fautes [STF]
Bon, Philippe [Auteur]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [INRETS/ESTAS]
Titre de la revue :
Open transportation Journal
Pagination :
60-70
Éditeur :
Bentham Open
Date de publication :
2011
ISSN :
1874-4478
Discipline(s) HAL :
Sciences de l'ingénieur [physics]/Automatique / Robotique
Langue :
Anglais
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL