Ellen, Christian and Gerwinn, Sebastian and Fränzle, Martin
International Journal on Software Tools for Technology Transfer
2014
article
1-20
MoVeS
Modeling, Verification and Control of complex Systems: From Foundations to Power Network Appliances
CRYSTAL
Critical System Engineering Acceleration