Peter Gorm Larsen

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

Research output: Research - peer-reviewArticle in proceedings

  • Augusto Ribeiro
    Augusto RibeiroAarhus UniversityDenmark
  • Kenneth Lausdahl
    Kenneth LausdahlDenmark
  • 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