Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Lukas Ladenberger
Latest
Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation
Validation of the ABZ landing gear system using ProB
Validation of the ABZ Landing Gear System Using ProB
Cite
×