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
publisher
Estonian Academy Publishers
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
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/11500153303
https://www.scopus.com/record/display.uri?eid=2-s2.0-85030699053&origin=inward&txGid=749edb5e9019b0a53f7fcbbb58d68a84
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20EST%20ACAD%20SCI&year=2017
https://www.webofscience.com/wos/woscc/full-record/WOS:000396591200009
category (general)
Engineering
Tehnika
category (sub)
Engineering. General engineering
Tehnika. Üldine inseneriteadus
quartile
Q3
TalTech department
tarkvarateaduse instituut
language
inglise