Enhancing the generation of correct-by-construction code from design models for complex embedded systems.

Federico Ciccozzi, Mikael Sjdin

Browse the full ETFA paper archive.