Peter Gorm Larsen

A deterministic interpreter simulating a distributed real time system using VDM

Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

    Kenneth Lausdahl, Denmark
  • Peter Gorm Larsen
  • Nick Battle, Fujitsu Services, United Kingdom
Original languageEnglish
Title of host publicationFormal Methods and Software Engineering : 13th Proceedings on the 13th International Conference on Formal Engineering Methods, ICFEM 2011
EditorsShengchao Qin, Zongyan Qiu
Volume6991
PublisherSpringer
Publication year2011
Pages179-194
ISBN (print)978-364224558-9
DOIs
StatePublished - 2011
EventICFEM 2011 - Durham, United Kingdom
Duration: 26 Oct 201128 Oct 2011
Conference number: 13

Conference

ConferenceICFEM 2011
Nummer13
LandUnited Kingdom
ByDurham
Periode26/10/201128/10/2011
SeriesLecture Notes in Computer Science
Volume6991

See relations at Aarhus University Citationformats

ID: 41996116