Model-Based Testing of Reactive Systems
Andres Kull, doktorikraad, 2009, (juh) Leo Mõtus; Jüri Vain, Model-Based Testing of Reactive Systems (Reaktiivsete süsteemide mudelipõhine testimine), Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Automaatikainstituut.
doktorikraad
Kaitstud
Jah
9.07.2003
4.01.2008
2009
Inglise
Model-Based Testing of Reactive Systems
Reaktiivsete süsteemide mudelipõhine testimine
| ETIS klassifikaator | Alamvaldkond | CERCS klassifikaator |
|---|---|---|
| 4. Loodusteadused ja tehnika | 4.6. Arvutiteadused | P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria) |