Suitable formalisms could allow the arguments of a safety case to be checked mechanically. We examine some of the issues in doing so. © Springer-Verlag London Limited 2010.
CITATION STYLE
Rushby, J. (2010). Formalism in safety cases. In Making Systems Safer - Proceedings of the 18th Safety-Critical Systems Symposium, SSS 2010 (pp. 3–17). Springer London. https://doi.org/10.1007/978-1-84996-086-1_1
Mendeley helps you to discover research relevant for your work.