Model checking response times in Networked Automation Systems using jitter bounds
vastutusandmed
Seshadhri Srinivasan, Furio Buonopane, Juri Vain, Srini Ramaswamy
allikas
kirjastus/väljaandja
ajakirja aastakäik number kuu
Vol. 74
ilmumisaasta
leheküljed
p. 186-200
ISSN
0166-3615
märkused
Bibliogr.: 36 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
Networked Automation Systems (NAS)
timed-automata
network latencies
response time (RT)
klassifikaator
kvartiil
kategooria (üld)
kategooria (alam)
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.