täiskirje prindi

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

autor
Muniasamy, Kandasamy
Srinivasan, Seshadhri
Vain, Jüri
Sethumadhavan, M.
vastutusandmed
Kandasamy Muniasamy, Seshadhri Srinivasan, Juri Vain, M. Sethumadhavan
allikas
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
leitav
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
keel
inglise
märksõna
võtmesõna
internet of things (IoT)
cloud-based cyber-physical systems (C2PS)
kategooria (üld)
kategooria (alam)
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
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