Tools for the Model-based Development of Certi able, Dependable Systems
- Michaela Huhn
- , Hardi Hungar
- , Doron Peled
- Technical University of Braunschweig
- OFFIS - Institute for Information Technology
- University of Warwick
Research output: Contribution to journal › Conference article › peer-review