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
ISSN
0166-3615
märkused
Bibliogr.: 36 ref
keel
inglise
märksõna
võtmesõna
Networked Automation Systems (NAS)
timed-automata
network latencies
response time (RT)
TTÜ struktuuriüksus
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.