Model checking response times in Networked Automation Systems using jitter bounds
statement of authorship
Seshadhri Srinivasan, Furio Buonopane, Juri Vain, Srini Ramaswamy
source
journal volume number month
Vol. 74
year of publication
pages
p. 186-200
subject term
keyword
Networked Automation Systems (NAS)
timed-automata
network latencies
response time (RT)
ISSN
0166-3615
notes
Bibliogr.: 36 ref
TTÜ department
language
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.