Formal methods based security for cloud-based manufacturing cyber physical system
Muniasamy, Kandasamy
;
Srinivasan, Seshadhri
;
Vain, Jüri
;
Sethumadhavan, M.
IFAC-PapersOnLine
2019
/
p. 1198-1203
https://doi.org/10.1016/j.ifacol.2019.11.361
https://www.scopus.com/sourceid/21100456158
https://www.scopus.com/record/display.uri?eid=2-s2.0-85078940356&origin=inward&txGid=ab5536685faa3ef111dc7258df7535d9
https://www.webofscience.com/wos/woscc/full-record/WOS:000504282400204