Model checking response times in Networked Automation Systems using jitter bounds
autor
Srinivasan, Seshadhri
Buonopane, Furio
Vain, Jüri
Ramaswamy, Srini
vastutusandmed
Seshadhri Srinivasan, Furio Buonopane, Juri Vain, Srini Ramaswamy
allikas
Computers in industry
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
Vol. 74
ilmumisaasta
2015
leheküljed
p. 186-200
leitav
https://doi.org/10.1016/j.compind.2015.06.012
märksõna
automaatjuhtimine
juhtimissüsteemid
võtmesõna
Networked Automation Systems (NAS)
jitter
timed-automata
model checking
network latencies
industrial automation
response time (RT)
ISSN
0166-3615
märkused
Bibliogr.: 36 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/19080
https://www.scopus.com/record/display.uri?eid=2-s2.0-84955198753&origin=inward&txGid=b0745f4339cb8b5990384a5fd40c0250
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=COMPUT%20IND&year=2015
https://www.webofscience.com/wos/woscc/full-record/WOS:000364893000015
kategooria (üld)
Engineering
Tehnika
Computer science
Arvutiteadus
kategooria (alam)
Engineering. General Engineering
Tehnika. Üldine inseneriteadus
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
kvartiil
Q1
TTÜ struktuuriüksus
arvutiteaduse instituut
keel
inglise