-A A +A

Formal verification of complex systems: model-based and data-driven methods

TitleFormal verification of complex systems: model-based and data-driven methods
Publication TypeConference Paper
Year of Publication2017
AuthorsAbate A
Conference NameProceedings of the 15th {ACM-IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria, September 29 - October 02, 2017
URLhttp://doi.acm.org/10.1145/3127041.3131362
DOI10.1145/3127041.3131362

CONTACT US

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.