Tool Support for High Integrity Ada Software

An Initial Framework Assessing the Safety of Complex Systems
McDermid, J. A., Burton, S., Garnett, P. & Weaver, R. A., Feb 2021, Systems and Covid-19: Proceedings of the 29th Safety-Critical Systems Symposium Virtual Conference . Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, Vol. 161. p. 109-111 3 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
An Initial Framework Assessing the Safety of Complex Systems
Burton, S., McDermid, J. A., Garnett, P. & Weaver, R., 7 Dec 2020, CCS2020 - Conference on Complex System 2020. Zenodo, p. 69 1 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Enhancing COVID-19 decision making by creating an assurance case for epidemiological models
Habli, I., Alexander, R., Hawkins, R. D., Sujan, M., McDermid, J. A., Picardi, C. & Lawton, T., 7 Sep 2020
Article in BMJ Health and Care Informatics
An Enhanced Vehicle Control Model for Highly Automated Driving Safety
Monkhouse, H., Habli, I. & McDermid, J. A., 10 Jun 2020
Article in Reliability Engineering and System Safety
Safety of Artificial Intelligence: A Collaborative Model
McDermid, J. A. & Jia, Y., 2020, AISafety@IJCAI. CEUR Workshop Proceedings
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Research output: Contribution to conference › Paper › peer-review

Author(s)

Date	Published - 1994
Original language	English

Find related publications, people, projects, datasets and more using interactive charts.