PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems

J. Botham, G. Dhadyalla, A. Powell, P. Miller, Olivier Haas, D. McGeoch, A. C. Rao, C. O'Halloran, J. Kiec, A. Farooq, S. Poushpas, N. Tudor

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)

Search results