Model checking response times in Networked Automation Systems using jitter bounds

vastutusandmed
Seshadhri Srinivasan, Furio Buonopane, Juri Vain, Srini Ramaswamy
ajakirja aastakäik number kuu
Vol. 74
ilmumisaasta
leheküljed
p. 186-200
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