Peter Gorm Larsen

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

Research output: Book/anthology/dissertation/reportReportResearchpeer-review

    Augusto Ribeiro, Engineering College of Aarhus, DenmarkKenneth Lausdahl, Denmark
  • Peter Gorm Larsen
Original languageEnglish
Number of pages13
StatePublished - 2011
EventOverture Workshop on VDM - Limerick, Ireland
Duration: 20 Jun 201120 Jun 2011
Conference number: 9

Workshop

WorkshopOverture Workshop on VDM
Number9
CountryIreland
CityLimerick
Period20/06/201120/06/2011

See relations at Aarhus University Citationformats

ID: 41995248