Model checking response times in Networked Automation Systems using jitter bounds
Srinivasan, Seshadhri
;
Buonopane, Furio
;
Vain, Jüri
;
Ramaswamy, Srini
Computers in industry
2015
/
p. 186-200
https://doi.org/10.1016/j.compind.2015.06.012
https://www.scopus.com/sourceid/19080
https://www.scopus.com/record/display.uri?eid=2-s2.0-84955198753&origin=inward&txGid=b0745f4339cb8b5990384a5fd40c0250
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=COMPUT%20IND&year=2015
https://www.webofscience.com/wos/woscc/full-record/WOS:000364893000015