Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

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

20181 citationsJournal Articlegold Open Access

Authors

René Søndergaard Nilsson · Aarhus University

Kenneth Lausdahl · Institute of Informatics of the Slovak Academy of Sciences

Hugo Daniel Macedo · Aarhus University

Peter Gorm Larsen · Aarhus University

Topics & Keywords

Advanced Optical Network Technologies

UN Sustainable Development Goals

Industry, innovation and infrastructure

Publication Details

Field-Weighted Citation Impact: 0.13

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