Model checking response times in Networked Automation Systems using jitter bounds
author
Srinivasan, Seshadhri
Buonopane, Furio
Vain, Jüri
Ramaswamy, Srini
statement of authorship
Seshadhri Srinivasan, Furio Buonopane, Juri Vain, Srini Ramaswamy
source
Computers in industry
publisher
Elsevier
journal volume number month
Vol. 74
year of publication
2015
pages
p. 186-200
url
https://doi.org/10.1016/j.compind.2015.06.012
subject term
automaatjuhtimine
juhtimissüsteemid
keyword
Networked Automation Systems (NAS)
jitter
timed-automata
model checking
network latencies
industrial automation
response time (RT)
ISSN
0166-3615
notes
Bibliogr.: 36 ref
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Engineering
Tehnika
Computer science
Arvutiteadus
category (sub)
Engineering. General Engineering
Tehnika. Üldine inseneriteadus
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
quartile
Q1
TalTech department
arvutiteaduse instituut
language
inglise