Peter Gorm Larsen
Discrete-Event Modelling in VDM
Research output: Contribution to book/anthology/report/proceeding › Book chapter
- Peter Gorm Larsen
John Fitzgerald, Newcastle University, Marcel Verhoef, Chess, Kenneth Pierce, Newcastle University
Original language | English |
---|
Title of host publication | Collaborative Design for Embedded Systems : Co-modelling and Co-simulation |
---|
Editors | John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef |
---|
Publisher | Springer |
---|
Publication year | 2014 |
---|
Pages | 61-95 |
---|
Chapter | 4 |
---|
ISBN (print) | 978-3-642-54117-9 |
---|
ISBN (Electronic) | 978-3-642-54118-6 |
---|
DOIs | |
---|
State | Published - 2014 |
---|
See relations at Aarhus University
Citationformats
ID: 76229626