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
A system for CAD/CAM software development and implementation
Tamm, Boris, inform.
;
Küttner, Rein
;
Vilipõld, Jüri
;
Pruuden, Juhan
Computers in industry
1984
/
p. 367-376