Items where authors include "O'Halloran, Colin"
Jump to: Article | Proceedings Paper
Number of items: 2.
Article
Wei, Ran, Foster, Simon David orcid.org/0000-0002-9889-9514, Mei, Haitao et al. (7 more authors) (2024) ACCESS:Assurance Case Centric Engineering of Safety-critical Systems. Journal of Systems and Software. 112034. ISSN 0164-1212
Proceedings Paper
Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub, O'Halloran, Colin et al. (2 more authors) (2020) Formal Model-Based Assurance Cases in Isabelle/SACM:An Autonomous Underwater Vehicle Case Study. In: FormaliSE '20:Proceedings of the 8th International Conference on Formal Methods in Software Engineering. UNSPECIFIED. ACM .