Peter Gorm Larsen

Run-Time Validation of Timing Constraints for VDM-RT Models

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Augusto Ribeiro, Aarhus University, DenmarkKenneth Lausdahl, Denmark
  • Peter Gorm Larsen
Original languageEnglish
Title of host publicationProceedings of the 9th Overture Workshop
EditorsSune Wolff, John Fitzgerald
Volume2
PublisherNewcastle University
Publication yearJun 2011
EditionECE-TT2
Pages4-16
StatePublished - Jun 2011

See relations at Aarhus University Citationformats

ID: 54594501