Visible to the public Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

Submitted by jessygrizzle on Thu, 10/24/2013 - 2:21pm. Contributors:
License: 
Creative Commons 2.5

Other available formats:

Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
Switch to experimental viewer