pealkiri
Ajaga automaatide veebipõhine modelleerimiskeskkond
Web-Based Modelling Environment for Timed Automata
autor
Pukk, Jürgo; Sams, Siim; Tõnisson, Jonas
märksõnad
TDL
UPPAAL
ECDAR
Vue
ajastatud automaadid
ajapõhine testimine
timed automata
time-based testing
bakalaureusetööd
bachelor's theses
juhendaja
Kanter, Gert
kaitsmiskuupäev
09.06.2021
keel
est
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
School of Information Technologies
instituut / kolledž
Tarkvarateaduse instituut
Department of Software Science