Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software.

Vanessa Tietz

Browse the full MODELS paper archive.