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