Correct-by-construction code generation from hybrid automata specification.

Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa

Browse the full IWCMC paper archive.