Formal, Model-based Development and Verification of Hardware, Software and Cyber-Physical Systems

John Colley of¬†University of Southampton recently spoke on “Formal, Model-based Development and Verification of Hardware, Software and Cyber-Physical Systems” at the Formal verification conference.

The recordings and slides are now available here.

2015-06-12T05:52:44+00:0012th June, 2015|Active Event, Blog, Events|