Big boys don't cry

von Battle, Nick
Veröffentlicht 2007

Towards a Static Check of FMUs in VDM-SL

von Battle, Nick
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks

von Thule, Casper
Veröffentlicht in CoSim-CPS (3. : 2019 : Oslo) Software engineering and formal methods (2020)