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
IFAC-PapersOnLine
ajakirja aastakäik number kuu
vol. 52, 13
ilmumisaasta
2019
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
https://doi.org/10.1016/j.ifacol.2019.11.361
märksõna
asjade internet
küberturve
mobiilseadmed
pilvandmetöötlus
võtmesõna
internet of things (IoT)
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
Scopus
Conference proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kategooria (üld)
Tehnika
kategooria (alam)
Tehnika. Juhtimis- ja süsteemitehnika
kvartiil
Q3
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
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