Automating and Deploying Operating Systems Using Microsoft Deployment Toolkit 2010 Update1
Model Checking of Robotic Control Systems
1 Model Checking of Robotic Control Systems Presenting: Sebastian Scherer Authors: Sebastian Scherer, Flavio Lerda, and Edmund M. Clarke.
