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
