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
StatePublished - 2014
Event5th Rodin User and Developer Workshop - Toulouse, France
Duration: 2 Jun 20143 Jun 2014

Conference

Conference5th Rodin User and Developer Workshop
LandFrance
ByToulouse
Periode02/06/201403/06/2014

See relations at Aarhus University Citationformats

ID: 84539261