A formal model of requirements

Document type :
Compte-rendu et recension critique d'ouvrage
Title :
A formal model of requirements
Author(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]
Journal title :
Open transportation Journal
Pages :
60-70
Publisher :
Bentham Open
Publication date :
2011
ISSN :
1874-4478
HAL domain(s) :
Sciences de l'ingénieur [physics]/Automatique / Robotique
Language :
Anglais
Popular science :
Non
Collections :
Source :
Harvested from HAL