DTRON : a tool for distributed model-based testing of time critical applications
autor
Anier, Aivo
Vain, Jüri
Tsiopoulos, Leonidas
vastutusandmed
Aivo Anier, Jüri Vain, and Leonidas Tsiopoulos
allikas
Proceedings of the Estonian Academy of Sciences
kirjastus/väljaandja
Estonian Academy Publishers
ajakirja aastakäik number kuu
vol. 66, 1
ilmumisaasta
2017
leheküljed
p. 75-88 : ill
leitav
https://doi.org/10.3176/proc.2017.1.08
http://www.ester.ee/record=b2355998*est
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
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Engineering
Tehnika
kategooria (alam)
Engineering. General engineering
Tehnika. Üldine inseneriteadus
kvartiil
Q3
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise