Peter Gorm Larsen

A deterministic interpreter simulating a distributed real time system using VDM

Research output: Research - peer-reviewArticle in proceedings

  • Kenneth Lausdahl
    Kenneth LausdahlDenmark
  • Peter Gorm Larsen
  • Nick Battle
    Nick BattleFujitsu ServicesUnited 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