Visible to the public Control for Composition: A Correct-by-construction Synthesis Approach for Connected Vehicles

Submitted by necozay on Thu, 02/20/2014 - 12:07pm. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Control for Composition: A Correct-by-construction Synthesis Approach for Connected Vehicles
Switch to experimental viewer