TalTech publikatsioonid
pealdis Anier, A., Vain, J., Tsiopoulos, L.
TTÜ struktuuriüksus tarkvarateaduse instituut
maakood ee
keel inglise
autor Anier, Aivo
Vain, Jüri
Tsiopoulos, Leonidas
pealkiri DTRON : a tool for distributed model-based testing of time critical applications
vastutusandmed Aivo Anier, Jüri Vain, and Leonidas Tsiopoulos
allikas Proceedings of the Estonian Academy of Sciences
ajakirja aastakäik number kuu vol. 66, 1
ilmumisaasta 2017
leheküljed p. 75-88 : ill
märksõna küberfüüsikalised süsteemid
reaalajasüsteemid
hajussüsteemid
testimine
mudelipõhine tarkvaraarendus
võtmesõna computer science
formal methods
model-based testing
distributed systems
real-time systems
cyber-physical systems
Uppaal timed automata
ISSN 1736-6046
märkused Bibliogr.: 33 ref
Kokkuvõte: Ajakriitiliste rakenduste mudelipohise hajustestimise vahend DTRON
url https://doi.org/10.3176/proc.2017.1.08
http://www.ester.ee/record=b2355998*est