Author:
O’Halloran Colin,Simmonds William,Tudor Nick
Publisher
Springer Nature Switzerland
Reference15 articles.
1. Lions, J.-L., et al.: European Space Agency Board of Inquiry report into the first flight failure of Ariane 5 1996. http://www.ima.umn.edu/~arnold/disasters/ariane5rep.html
2. RTCA DO-178C/EUROCAE ED-12C Software Considerations in Airborne Systems and Equipment Certification, January 2012
3. RTCA DO-333/EUROCAE ED-216 Formal Methods Supplement to DO-178C/ED-12C and DO-278A/ED-109A, January 2012
4. Abrial, J-R.: Steam-boiler control specification problem. In: Abrial, J-R., Borger, E., Langmaack, H. (eds.) Formal Methods for Industrial Applications 1996. LNCS State-of-the-Art Survey, pp. 500–509. Springer, Heidelberg (1996). https://doi.org/10.1007/BFb0027252
5. Meyer, B.: Handbook of Requirements and Business Analysis. Springer International Publishing, Cham (2022). https://doi.org/10.1007/978-3-031-06739-6