FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs

Casper Thule, Kenneth Lausdahl and Peter Gorm Larsen

Design Space Exploration for Secure Building Control

Martin Mansfield, Charles Morisset, Carl Gamble, John Mace, Ken Pierce and John Fitzgerald

Enhancing Testing of VDM-SL models

Peter W. V. Tran-Jørgensen, René Søndergaard Nilsson and Kenneth Lausdahl

Transforming an industrial case study from VDM++ to VDM-SL

René Søndergaard Nilsson, Kenneth Lausdahl, Hugo Daniel Macedo and Peter Gorm Larsen
Total: 4 presentations.