File
Cyber Enabled Manufacturing Systems (CeMs) for Small Lot Manufacture
Submitted by Daniel Moser on November 7th, 2014
File
Statistical Model Checking of High-Dimensional Cyber-Controlled Systems
Geir Dullerud Submitted by Geir Dullerud on November 7th, 2014
File
Integrated Modeling, Analysis, and Synthesis of Miniature Medical Devices
Pietro Valdastri Submitted by Pietro Valdastri on November 7th, 2014
File
Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop
Submitted by Edgar Lobaton on November 7th, 2014
Subscribe to Session 8