T-UPPAAL: Online model-based testing of real-time systems

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

T-UPPAAL: Online model-based testing of real-time systems

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

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

Original language	Undefined
Title of host publication	Proceedings of the 19th IEEE international conference on automated software engineering
Editors	P. Grunbacher
Place of Publication	Los Alamitos
Publisher	IEEE Computer Society
Pages	396-397
ISBN (Print)	0-7695-2131-2
Publication status	Published - 20 Sep 2004
Event	19th IEEE international conference on automated software engineering, (ASE 2004): Proceedings of the 19th IEEE international conference on automated software engineering - Los Alamitos Duration: 20 Sep 2004 → 24 Sep 2004

Conference

Conference	19th IEEE international conference on automated software engineering, (ASE 2004)
City	Los Alamitos
Period	20/09/04 → 24/09/04

Keywords

METIS-223927

Cite this

@inproceedings{a325d27d6f594522975459c9f9b87ddd,

title = "T-UPPAAL: Online model-based testing of real-time systems",

keywords = "METIS-223927",

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

year = "2004",

month = sep,

day = "20",

language = "Undefined",

isbn = "0-7695-2131-2",

pages = "396--397",

editor = "P. Grunbacher",

booktitle = "Proceedings of the 19th IEEE international conference on automated software engineering",

publisher = "IEEE Computer Society",

address = "United States",

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

}

Mikucionis, M, Larsen, KG & Nielsen, B 2004, T-UPPAAL: Online model-based testing of real-time systems. in P Grunbacher (ed.), Proceedings of the 19th IEEE international conference on automated software engineering. IEEE Computer Society, Los Alamitos, pp. 396-397, 19th IEEE international conference on automated software engineering, (ASE 2004), Los Alamitos, 20/09/04.

T-UPPAAL: Online model-based testing of real-time systems. / Mikucionis, M.; Larsen, K.G.; Nielsen, B.

Proceedings of the 19th IEEE international conference on automated software engineering. ed. / P. Grunbacher. Los Alamitos : IEEE Computer Society, 2004. p. 396-397.

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

TY - GEN

T1 - T-UPPAAL: Online model-based testing of real-time systems

AU - Mikucionis, M.

AU - Larsen, K.G.

AU - Nielsen, B.

PY - 2004/9/20

Y1 - 2004/9/20

KW - METIS-223927

M3 - Conference contribution

SN - 0-7695-2131-2

SP - 396

EP - 397

BT - Proceedings of the 19th IEEE international conference on automated software engineering

A2 - Grunbacher, P.

PB - IEEE Computer Society

CY - Los Alamitos

Y2 - 20 September 2004 through 24 September 2004

ER -