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

License: 
Creative Commons 2.5

Other available formats:

Correct-by-Design Control Software Synthesis for Highly Dynamic Systems