Verification of Real-Time Applications Using the Epsilon System

Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

OriginalsprogEngelsk
TitelNordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.
ForlagTechnical University of Denmark (DTU)
Publikationsdato1994
Sider41-52
StatusUdgivet - 1994
BegivenhedVerification of Real-Time Applications Using the Epsilon System -
Varighed: 19 maj 2010 → …

Konference

KonferenceVerification of Real-Time Applications Using the Epsilon System
Periode19/05/2010 → …

Bibliografisk note

ISSN ; -

Citationsformater