An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems.

Julien Delange, Laurent Pautet, Jrme Hugues, Dionisio de Niz

Browse the full ICECCS paper archive.