CADiZ - Computer Aided Design in Z - Research Database, The University of York

By the same authors

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
Rapid Integration of CPS Security and Safety
McDermid, J. A., Asplund, F., Oates, R. & Roberts, J., 5 Nov 2018
Article in IEEE Embedded Systems Letters

CADiZ - Computer Aided Design in Z

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Author(s)

D.T. Jordan
J.A. McDermid
I. Toyn
J. E. Nicholls (Editor)

Department/unit(s)

Computer Science

Publication details

Title of host publication	Z User Workshop, Oxford 1990
Date	Published - 1991
Pages	93-104
Number of pages	12
Publisher	Springer-Verlag
Original language	English

Publication series

Name	Workshops in Computing
Publisher	Springer-Verlag

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

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

Rapid Integration of CPS Security and Safety

CADiZ - Computer Aided Design in Z

Author(s)

Department/unit(s)

Publication details

Publication series

Discover related content