Vol-1336⫷ Vol-1337 ⫸Vol-1338
urn:nbn:de:0074-1337-0


Vol-1337/paper12⫷Vol-1337/paper13⫸Vol-1337/paper14
Vasileios KoutsoumpasMaximilian JunkerJan Christoph WehrstedtXiuna ZhuMaria DavidichBirthe BöhmAlarico Campetelli

A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study