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
ISSN
0166-3615
notes
Bibliogr.: 36 ref
language
inglise
subject term
keyword
Networked Automation Systems (NAS)
timed-automata
network latencies
response time (RT)
TTÜ department
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.