Publications
540 total
No publications found.
Research Topics
Formal Methods in Verification
Software Reliability and Analysis Research
Advanced Software Engineering Methodologies
Adversarial Robustness in Machine Learning
Petri Nets in System Modeling
Affiliations
University of Oxford
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.