Learning timed automata from interaction traces
autor
Vain, Jüri
Kanter, Gert
Anier, Aivo
vastutusandmed
J. Vain, G. Kanter, A. Anier
allikas
IFAC-PapersOnLine
ajakirja aastakäik number kuu
vol. 52, 19
ilmumisaasta
2019
leheküljed
p. 205-210
konverentsi nimetus, aeg
14th IFAC Symposium on Analysis, Design, and Evaluation of Human Machine Systems HMS 2019, 16–91 September 2019
konverentsi toimumispaik
Tallinn, Estonia
leitav
https://doi.org/10.1016/j.ifacol.2019.12.097
märksõna
tehisõpe
matemaatiline modelleerimine
inimene-masin-süsteemid
mudelipõhine tarkvaraarendus
võtmesõna
machine learning
timed automata
human-machine interaction
leader election protocol
load testing
ISSN
2405-8963
märkused
Bibliogr. p. 210
Special issue: 14th IFAC Symposium on Analysis, Design, and Evaluation of Human Machine Systems HMS 2019: Tallinn, Estonia, 16–91 September 2019
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
Scopus
https://www.scopus.com/sourceid/21100456158
https://www.scopus.com/record/display.uri?eid=2-s2.0-85079654091&origin=inward&txGid=2f98d8f5808bbc874dc089e4c48c4732
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000504294500036
kategooria (üld)
Engineering
Tehnika
kategooria (alam)
Engineering. Control and systems engineering
Tehnika. Juhtimis- ja süsteemitehnika
kvartiil
Q3
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium