Xiaocheng Ge, Richard F. Paige, John A. McDermid. An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. In Sallyann Freudenberg, Joseph Chao, editors, 2010 Agile Conference, AGILE 2010, Orlando, Florida, USA, August 9-13, 2010. pages 35-43, IEEE Computer Society, 2010. [doi]
@inproceedings{GePM10,
title = {An Iterative Approach for Development of Safety-Critical Software and Safety Arguments},
author = {Xiaocheng Ge and Richard F. Paige and John A. McDermid},
year = {2010},
doi = {10.1109/AGILE.2010.10},
url = {http://doi.ieeecomputersociety.org/10.1109/AGILE.2010.10},
researchr = {https://researchr.org/publication/GePM10},
cites = {0},
citedby = {0},
pages = {35-43},
booktitle = {2010 Agile Conference, AGILE 2010, Orlando, Florida, USA, August 9-13, 2010},
editor = {Sallyann Freudenberg and Joseph Chao},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4125-9},
}