logo
E-väljaanne
TÄISTEKST TTÜ raamatukogu digikogus http://digi.lib.ttu.ee/i/?455
Autor
Kull, Andres, 1961-
Pealkiri
Model-based testing of reactive systems = Reaktiivsete süsteemide mudelipõhine testimine / Andres Kull
Ilmumisandmed
Tallinn : Tallinn University of Technology Press, 2009 ([Tallinn] : Infotrükk)
Füüsiline kirjeldus
158 lk. : ill. ; 25 cm
Seeria pealkiri
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika, ISSN 1406-4731 ; 49
Tallinna Tehnikaülikooli väitekirjad. C ; 49
ISBN
9789985599433
Märkus
Doktoritöö : Tallinna Tehnikaülikool, 2009
Autori publikatsioonid lk. 147-148. - Bibliograafia lk. 82-86
Kokkuvõte eesti keeles
Täiendav kandja
Kättesaadav ka võrguteavikuna
Märksõnad
tarkvara; testimine; kompuutermodelleerimine; mudelipõhine tarkvaraarendus; dissertatsioonid
Kollektiivautorid
Tallinna Tehnikaülikool
UDK
004.415.53 (043)
Rööppealkiri
Reaktiivsete süsteemide mudelipõhine testimine