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)

Fingerprint

Dive into the research topics of 'PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems'. Together they form a unique fingerprint.

Earth & Environmental Sciences

Engineering & Materials Science

Chemistry