Libraries of Algebraically Specified Datatypes in Z

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
Mind the Gaps: Assuring the Safety of Autonomous Systems from an Engineering, Ethical, and Legal Perspective
Burton, S., Habli, I., Lawton, T., McDermid, J. A., Morgan, P. D. J. & Porter, Z. L. M., 9 Nov 2019
Article in Artificial Intelligence
Integrating Existing Safety Analyses into SysML
Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 11 Oct 2019, Model-Based Safety and Assessment (IMBSA) 2019: Lecture Notes in Computer Science. Papadopoulos, Y., Aslansefat, K. & Katsaros, P. (eds.). 2019 ed. Springer Nature , Vol. 11842. p. 63-77 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Towards a Framework for Safety Assurance of Autonomous Systems
McDermid, J. A., Jia, Y. & Habli, I., 11 Aug 2019, Artificial Intelligence Safety 2019. Espinoza, H., Yu, H., Huang, X., Lecue, F., Chen, C., Hernandex-Orallo, J., o hEigeartaigh, S. & Mallah, R. (eds.). CEUR Workshop Proceedings, Vol. 2419. p. 1-7 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A SysML Profile for Fault Trees: Linking Safety Models to System Design
Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 8 Aug 2019, Computer Safety, Reliability, and Security: SAFECOMP 2019. Romanovsky, A. & Troubitsyna, E. (eds.). Springer Nature , Vol. 11698. p. 85-93 (Lecture Notes in Computer Science; vol. 11698).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

The York Research Database

By the same authors

The Language of Causation for Describing the Behaviour of Systems

Mind the Gaps: Assuring the Safety of Autonomous Systems from an Engineering, Ethical, and Legal Perspective

Integrating Existing Safety Analyses into SysML

Towards a Framework for Safety Assurance of Autonomous Systems

A SysML Profile for Fault Trees: Linking Safety Models to System Design

Libraries of Algebraically Specified Datatypes in Z

Author(s)

Department/unit(s)

Publication details

Discover related content