title
Ajaga automaatide veebipõhine modelleerimiskeskkond
Web-Based Modelling Environment for Timed Automata
author
Pukk, Jürgo; Sams, Siim; Tõnisson, Jonas
keywords
TDL
UPPAAL
ECDAR
Vue
ajastatud automaadid
ajapõhine testimine
timed automata
time-based testing
bakalaureusetööd
bachelor's theses
supervisor
Kanter, Gert
defence date
09.06.2021
language
est
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
School of Information Technologies
department / college
Tarkvarateaduse instituut
Department of Software Science