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