J. Boulanger, V. Delebarre, Stéphane Natkin, J. Ozello. Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems. In 2nd High-Assurance Systems Engineering Workshop (HASE 97), August 11-12, 1997, Washington, DC, USA, Proceedings. pages 162-167, IEEE Computer Society, 1997. [doi]
@inproceedings{BoulangerDNO97,
title = {Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems},
author = {J. Boulanger and V. Delebarre and Stéphane Natkin and J. Ozello},
year = {1997},
url = {http://dlib2.computer.org/conferen/hase/7971/pdf/79710162.pdf},
tags = {analysis},
researchr = {https://researchr.org/publication/BoulangerDNO97},
cites = {0},
citedby = {0},
pages = {162-167},
booktitle = {2nd High-Assurance Systems Engineering Workshop (HASE 97), August 11-12, 1997, Washington, DC, USA, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-8186-7971-9},
}