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.- Sort by
- Weight
- Alphabetically
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 journal › Article › peer-review
4
Citations
(Scopus)