File
Is it About Time for Control?
Paulo Tabuada Submitted by Paulo Tabuada on October 11th, 2012
File
Tutorial: Verification Technology
John Rushby Submitted by John Rushby on October 4th, 2012
File
Model Synthesis New Challenges in Model Based Design
Rajiv Alur Submitted by Rajiv Alur on October 3rd, 2012
Subscribe to Session 1: Science of CPS