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 ; -

Citer dette

Godskesen, J. C., Larsen, K. G., & Skou, A. (1994). Verification of Real-Time Applications Using the Epsilon System. I Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug. (s. 41-52). Technical University of Denmark (DTU).
Godskesen, Jens Chr. ; Larsen, Kim Guldstrand ; Skou, Arne. / Verification of Real-Time Applications Using the Epsilon System. Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.. Technical University of Denmark (DTU), 1994. s. 41-52
@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 ; -",
year = "1994",
language = "English",
pages = "41--52",
booktitle = "Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.",
publisher = "Technical University of Denmark (DTU)",

}

Godskesen, JC, Larsen, KG & Skou, A 1994, Verification of Real-Time Applications Using the Epsilon System. i Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.. Technical University of Denmark (DTU), s. 41-52, Verification of Real-Time Applications Using the Epsilon System, 19/05/2010.

Verification of Real-Time Applications Using the Epsilon System. / Godskesen, Jens Chr.; Larsen, Kim Guldstrand; Skou, Arne.

Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.. Technical University of Denmark (DTU), 1994. s. 41-52.

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

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)

ER -

Godskesen JC, Larsen KG, Skou A. Verification of Real-Time Applications Using the Epsilon System. I Nordic Seminar on Dependable Computing Systems : NSDCS '94, Aug.. Technical University of Denmark (DTU). 1994. s. 41-52