An MDE methodology for the development of high-integrity real-time systems.

Silvia Mazzini, Stefano Puri, Tullio Vardanega

Browse the full DATE paper archive.