Peter Gorm Larsen

Discrete-Event Modelling in VDM

Research output: Contribution to book/anthology/report/proceedingBook chapterResearchpeer-review

  • Peter Gorm Larsen
  • John Fitzgerald, Newcastle University, Marcel Verhoef, Chess, Kenneth Pierce, Newcastle University
Original languageEnglish
Title of host publicationCollaborative Design for Embedded Systems : Co-modelling and Co-simulation
EditorsJohn Fitzgerald, Peter Gorm Larsen, Marcel Verhoef
PublisherSpringer
Publication year2014
Pages61-95
Chapter4
ISBN (print)978-3-642-54117-9
ISBN (Electronic)978-3-642-54118-6
DOIs
StatePublished - 2014

See relations at Aarhus University Citationformats

ID: 76229626