Libraries of Algebraically Specified Datatypes in Z

The Language of Causation for Describing the Behaviour of Systems
Moffett, J. D., Hall, J. G. & McDermid, J. A., 19 Oct 2003.
Research output: Working paper
A Principle-based Ethical Assurance Argument for AI and Autonomous Systems
Porter, Z., Habli, I. & McDermid, J. A., 30 Mar 2022.
Research output: Contribution to conference › Paper
Safe, Ethical & Sustainable: A Mantra for All Seasons?
McDermid, J. A., 10 Feb 2022
Special issue in Safety Systems
Could the Introduction of Assured Autonomy Change Accident Outcomes?
Daniels, D., Hobbs, C., McDermid, J. A., Parsons, M. S. & Twomey, B., 8 Feb 2022, Safer Systems: The Next 30 Years: Proceedings of the 30th Safety-Critical Systems Symposium. Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, Vol. 170. p. 229 264 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Consumerism, Contradictions, Counterfactuals: Shaping the Evolution of Safety Engineering
McDermid, J. A., Porter, Z. & Jia, Y., 8 Feb 2022, Safer Systems: The Next 30 Years: Proceedings of the 30th Safety-Critical Systems Symposium. Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, Vol. 170. p. 15-36 22 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter

Research output: Working paper

Author(s)

Date	Published - 1994
Original language	English

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