Automated Test Generation from Timed Automata

Brian Nielsen; Arne Skou

Automated Test Generation from Timed Automata

Department of Computer Science

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	International Journal on Software Tools for Technology Transfer
ISSN	1433-2779
Publication status	Published - 2002

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{2078b8609c2f11db8ed6000ea68e967b,

title = "Automated Test Generation from Timed Automata",

author = "Brian Nielsen and Arne Skou",

note = "Also publised in : Lecture notes in computer science, Volume 2031, pp 0343, 2002 Also publised in : Lecture notes in computer science, Volume 2031, pp 0343, 2002",

year = "2002",

language = "English",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Physica-Verlag",

}

TY - JOUR

T1 - Automated Test Generation from Timed Automata

AU - Nielsen, Brian

AU - Skou, Arne

N1 - Also publised in : Lecture notes in computer science, Volume 2031, pp 0343, 2002 Also publised in : Lecture notes in computer science, Volume 2031, pp 0343, 2002

PY - 2002

Y1 - 2002

M3 - Journal article

SN - 1433-2779

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

ER -