Software Synthesis for Complex Reactive Embedded Systems.

Felice Balarin, Massimiliano Chiodo

Browse the full ICCD paper archive.