Verification of Real-Time Applications Using the Epsilon System

Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Original languageEnglish
Title of host publicationNordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.
PublisherTechnical University of Denmark (DTU)
Publication date1994
Pages41-52
Publication statusPublished - 1994
EventVerification of Real-Time Applications Using the Epsilon System -
Duration: 19 May 2010 → …

Conference

ConferenceVerification of Real-Time Applications Using the Epsilon System
Period19/05/2010 → …

Cite this

Godskesen, J. C., Larsen, K. G., & Skou, A. (1994). Verification of Real-Time Applications Using the Epsilon System. In Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug. (pp. 41-52). Technical University of Denmark (DTU).