A Symbolic Approach to Model-based Online Testing

Marko Kääramees, doktorikraad, 2012, (juh) Jüri Vain; Michael Reichhardt Hansen, A Symbolic Approach to Model-based Online Testing (Mudelipõhine online-testimine kasutades sümbolarvutust), Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut.
Marko Kääramees
doktorikraad
Kaitstud
Ei
26.10.2012
28.11.2012
2012
Inglise
A Symbolic Approach to Model-based Online Testing
Mudelipõhine online-testimine kasutades sümbolarvutust
A Symbolic Approach to Model-based Online Testing
ETIS klassifikaatorAlamvaldkondCERCS klassifikaator
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)