Peter Gorm Larsen

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

Research output: Research - peer-reviewReport

  • Augusto Ribeiro
    Augusto RibeiroEngineering College of AarhusDenmark
  • Kenneth Lausdahl
    Kenneth LausdahlDenmark
  • 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