Peter Gorm Larsen

Discrete-Event Modelling in VDM

Research output: Research - peer-reviewBook chapter

  • Peter Gorm Larsen
  • John Fitzgerald
    John FitzgeraldNewcastle University
  • Marcel Verhoef
    Marcel VerhoefChess
  • Kenneth Pierce
    Kenneth PierceNewcastle 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