Libraries of Algebraically Specified Datatypes in Z - Research Database, The University of York

By the same authors

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
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

Libraries of Algebraically Specified Datatypes in Z

Research output: Working paper

Author(s)

Department/unit(s)

Publication details

Date	Published - 1994
Original language	English

Discover related content

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

View graph of relations

York staff: edit these data