Traceability of Concerns and Observer-Based Verification for Railway Safety-Critical Software. (Traçabilité des Exigences et Vérification par Observateurs pour les Logiciels Critiques des Systèmes Ferroviaires)

Marc Sango. Traceability of Concerns and Observer-Based Verification for Railway Safety-Critical Software. (Traçabilité des Exigences et Vérification par Observateurs pour les Logiciels Critiques des Systèmes Ferroviaires). PhD thesis, Lille University of Science and Technology, France, 2015. [doi]