-A A +A

Resources

AIMS System Verification - Hilary 2019

Practical Class Resources

 

Computer-aided Formal Verification - Michaelmas 2018

Practical Class Resources

 

Posters

IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) 2018, Oxford, UK

CONTACT US

Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.