Peter Gorm Larsen

Modelling of Systems of Systems - An Event-B Perspective of a VDM Project

Research output: Contribution to book/anthology/report/proceedingConference abstract in proceedingsResearch

Original languageEnglish
Title of host publicationProceedings of the 5th Rodin User and Developer Workshop, 2014
EditorsMichael Butler, Stefan Hallerstede
Number of pages4
Publication year2014
Publication statusPublished - 2014
Event5th Rodin User and Developer Workshop - Toulouse, France
Duration: 2 Jun 20143 Jun 2014


Conference5th Rodin User and Developer Workshop

See relations at Aarhus University Citationformats

ID: 84539261