Specifying Temporal Requirements for Distributed Real-Time Systems in Z

By the same authors

Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)
Hawkins, R. D., Osborne, M., Parsons, M. S., Nicholson, M., McDermid, J. A. & Habli, I., 1 Aug 2022, 82 p.
Research output: Book/Report › Commissioned report
reTSN: Resilient and Efficient Time-Sensitive Network for Automotive In-Vehicle Communication
Zou, J., Dai, X. & McDermid, J. A., 12 Jul 2022
Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Investigating Human Error Within GoA-2 Metro Lines
Hunter, J. & McDermid, J. A., 20 May 2022, (E-pub ahead of print) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. RSSRail 2022. Collart-Dutilleul, S., Haxthausen, A. E. & Lecomte, T. (eds.). Springer, Vol. 13294. p. 179-191 18 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare
Jia, Y., McDermid, J. A., Lawton, T. & Habli, I., 5 May 2022, (E-pub ahead of print)
Article in IEEE Transactions on Emerging Topics in Computational Intelligence
Analysing the Safety of Decision-Making in Autonomous Systems
Osborne, M., Hawkins, R. D. & McDermid, J. A., 13 Apr 2022, (Accepted/In press) SAFECOMP 2022 (41st International Conference on Computer Safety, Reliability and Security).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Research output: Working paper

Author(s)

A. Coombes
J.A. McDermid

Department/unit(s)

Computer Science

Publication details

Date	Published - 1992
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

Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)

reTSN: Resilient and Efficient Time-Sensitive Network for Automotive In-Vehicle Communication

Investigating Human Error Within GoA-2 Metro Lines

The Role of Explainability in Assuring Safety of Machine Learning in Healthcare

Analysing the Safety of Decision-Making in Autonomous Systems

Specifying Temporal Requirements for Distributed Real-Time Systems in Z

Author(s)

Department/unit(s)

Publication details

Discover related content