Model checking response times in Networked Automation Systems using jitter bounds
vastutusandmed
Seshadhri Srinivasan, Furio Buonopane, Juri Vain, Srini Ramaswamy
allikas
ajakirja aastakäik number kuu
Vol. 74
ilmumisaasta
leheküljed
p. 186-200
märksõna
võtmesõna
Networked Automation Systems (NAS)
timed-automata
network latencies
response time (RT)
ISSN
0166-3615
märkused
Bibliogr.: 36 ref
TTÜ struktuuriüksus
keel
inglise
Srinivasan, S., Buonopane, F., Vain, J., Ramaswamy, S. Model checking response times in Networked Automation Systems using jitter bounds // Computers in industry (2015) Vol. 74, p. 186-200. http://dx.doi.org/10.1016/j.compind.2015.06.012