Formal Methods Based Security for Cloud-Based Manufacturing Cyber-Physical Systems

Muniasamy, Kandasamy; Srinivasan, Seshadhri; Vain, Jüri; Sethumadavan M (2019). Formal Methods Based Security for Cloud-Based Manufacturing Cyber-Physical Systems. Proceedings of the 9th IFAC Conference on Manufacturing Modelling, Management and Control, MIM 2019. Elsevier, 1−7 [ilmumas].
publitseeritud konverentsiettekanne
Muniasamy, Kandasamy; Srinivasan, Seshadhri; Vain, Jüri; Sethumadavan M
  • Inglise
Proceedings of the 9th IFAC Conference on Manufacturing Modelling, Management and Control, MIM 2019
2019
17
7
Ilmumas
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