DTRON : a tool for distributed model-based testing of time critical applications
author
Anier, Aivo
Vain, Jüri
Tsiopoulos, Leonidas
statement of authorship
Aivo Anier, Jüri Vain, and Leonidas Tsiopoulos
source
Proceedings of the Estonian Academy of Sciences
journal volume number month
vol. 66, 1
year of publication
2017
pages
p. 75-88 : ill
url
https://doi.org/10.3176/proc.2017.1.08
http://www.ester.ee/record=b2355998*est
subject term
küberfüüsikalised süsteemid
reaalajasüsteemid
hajussüsteemid
testimine
mudelipõhine tarkvaraarendus
keyword
computer science
formal methods
model-based testing
distributed systems
real-time systems
cyber-physical systems
Uppaal timed automata
ISSN
1736-6046
notes
Bibliogr.: 33 ref
Kokkuvõte: Ajakriitiliste rakenduste mudelipohise hajustestimise vahend DTRON
TTÜ department
tarkvarateaduse instituut
language
inglise