Online testing of real-time systems using UPPAAL

K.G. Larsen, M. Mikucionis, B. Nielsen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Formal approaches to software testing: FATES 2004
Editors	J. Grabowski, B. Nielsen
Place of Publication	Berlin
Publisher	Springer
Pages	79-94
ISBN (Print)	3-540-25109-X
Publication status	Published - 21 Sep 2004
Event	4th International Workshop on Formal Approaches to Testing of Software, FATES 2004: Formal approaches to software testing: FATES 2004 - Linz, Austria, Linz, Austria Duration: 21 Sep 2004 → 21 Sep 2004 Conference number: 4

Conference	4th International Workshop on Formal Approaches to Testing of Software, FATES 2004
Abbreviated title	FATES 2004
Country	Austria
City	Linz
Period	21/09/04 → 21/09/04
Other	21 Sep 2004

Keywords

@inproceedings{3f70209b0a364550a843ff88905a7e8a,

title = "Online testing of real-time systems using UPPAAL",

keywords = "METIS-223928",

author = "K.G. Larsen and M. Mikucionis and B. Nielsen",

year = "2004",

month = sep,

day = "21",

language = "Undefined",

isbn = "3-540-25109-X",

publisher = "Springer",

pages = "79--94",

editor = "J. Grabowski and B. Nielsen",

booktitle = "Formal approaches to software testing: FATES 2004",

address = "Netherlands",

note = "null ; Conference date: 21-09-2004 Through 21-09-2004",

}

TY - GEN

T1 - Online testing of real-time systems using UPPAAL

AU - Larsen, K.G.

AU - Mikucionis, M.

AU - Nielsen, B.

N1 - Conference code: 4

PY - 2004/9/21

Y1 - 2004/9/21

KW - METIS-223928

M3 - Conference contribution

SN - 3-540-25109-X

SP - 79

EP - 94

BT - Formal approaches to software testing: FATES 2004

A2 - Grabowski, J.

A2 - Nielsen, B.

PB - Springer

CY - Berlin

Y2 - 21 September 2004 through 21 September 2004

ER -