Formal methods based security for cloud-based manufacturing cyber-physical systems

Muniasamy, Kandasamy; Srinivasan, Seshadhri; Vain, Juri; Sethumadavan M. (2019). Formal methods based security for cloud-based manufacturing cyber-physical systems. 9th IFAC Conference on Manufacturing Modelling, Management and Control, MIM 2019 : Berlin, Germany, 28-30 August 2019, Proceedings. Ed. Ivanov, Dmitry; Dolgui, Alexandre; Yalaoui, Farouk. Elsevier, 1198−1203. (IFAC-PapersOnLine; 52-13).10.1016/j.ifacol.2019.11.361.
publitseeritud konverentsiettekanne
Muniasamy, Kandasamy; Srinivasan, Seshadhri; Vain, Juri; Sethumadavan M.
  • Inglise
9th IFAC Conference on Manufacturing Modelling, Management and Control, MIM 2019 : Berlin, Germany, 28-30 August 2019, Proceedings
Ivanov, Dmitry; Dolgui, Alexandre; Yalaoui, Farouk
2405-8963
IFAC-PapersOnLine
52-13
2019
11981203
7
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

doi.org/10.1016/j.ifacol.2019.11.361