Verification of Real-Time Applications Using the Epsilon System

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.
Forlag	Technical University of Denmark (DTU)
Publikationsdato	1994
Sider	41-52
Status	Udgivet - 1994
Begivenhed	Verification of Real-Time Applications Using the Epsilon System - Varighed: 19 maj 2010 → …

Konference	Verification of Real-Time Applications Using the Epsilon System
Periode	19/05/2010 → …

ISSN ; -

AUB Link

@inproceedings{2f2c7740809411db8b97000ea68e967b,

title = "Verification of Real-Time Applications Using the Epsilon System",

author = "Godskesen, {Jens Chr.} and Larsen, {Kim Guldstrand} and Arne Skou",

note = "ISSN ; -; Verification of Real-Time Applications Using the Epsilon System ; Conference date: 19-05-2010",

year = "1994",

language = "English",

pages = "41--52",

booktitle = "Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.",

publisher = "Technical University of Denmark (DTU)",

}

TY - GEN

T1 - Verification of Real-Time Applications Using the Epsilon System

AU - Godskesen, Jens Chr.

AU - Larsen, Kim Guldstrand

AU - Skou, Arne

N1 - ISSN ; -

PY - 1994

Y1 - 1994

M3 - Article in proceeding

SP - 41

EP - 52

BT - Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.

PB - Technical University of Denmark (DTU)

T2 - Verification of Real-Time Applications Using the Epsilon System

Y2 - 19 May 2010

ER -