EasyChair Smart SlideDocs/Log in
Conference: Overture 16 (16th Overture Workshop - New Capabilities and Applications for Model-based System Engineering)

This page shows all presentations from this conference published in EasyChair Smart Slide.

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

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

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

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

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

René Søndergaard Nilsson, Kenneth Lausdahl, Hugo Daniel Macedo and Peter Gorm Larsen

Presentations in this collection: 4
Copyright © 2002 – 2025 EasyChair