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

autor
Muniasamy, Kandasamy
Sethumadhavan, M.
vastutusandmed
Kandasamy Muniasamy, Seshadhri Srinivasan, Juri Vain, M. Sethumadhavan
ajakirja aastakäik number kuu
vol. 52, 13
ilmumisaasta
leheküljed
p. 1198-1203
konverentsi nimetus, aeg
9th IFAC Conference on Manufacturing Modelling, Management and Control, MIM 2019, 28-30 August 2019
konverentsi toimumispaik
Berlin, Germany
võtmesõna
cloud-based cyber-physical systems (C2PS)
ISSN
2405-8963
märkused
Special issue: 9th IFAC Conference on Manufacturing Modelling, Management and Control MIM 2019: Berlin, Germany, 28-30 August 2019
Bibliogr. p. 1203
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
kategooria (üld)
kvartiil
Q3
TTÜ struktuuriüksus
keel
inglise
Muniasamy, K., Srinivasan, S., Vain, J., Sethumadhavan, M. Formal methods based security for cloud-based manufacturing cyber physical system // IFAC-PapersOnLine (2019) vol. 52, 13, p. 1198-1203. https://doi.org/10.1016/j.ifacol.2019.11.361