Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development.

Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jrg Wolff

Browse the full DATE paper archive.