title
Model-Based Testing of Reactive Systems
Reaktiivsete süsteemide mudelipõhine testimine
author
Kull, Andres
keywords
model-based testing
TTCN-3
reactive systems
generating tests
dissertations
mudelipõhine testimine
reaktiivsed süsteemid
testide genereerimine
dissertatsioonid
publisher
TUT Press
supervisor
Mõtus, Leo
Vain, Jüri
defence date
15.12.2009
identifier
ISBN 9789985599433
ISSN 14064731
language
eng
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
Faculty of Information Technology
department / college
Automaatikainstituut
Department of Computer Control