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
https://www.scopus.com/sourceid/21100456158
https://www.scopus.com/record/display.uri?eid=2-s2.0-85078940356&origin=inward&txGid=ab5536685faa3ef111dc7258df7535d9
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000504282400204
kategooria (üld)
Engineering
Tehnika
kategooria (alam)
Engineering. Control and systems engineering
Tehnika. Juhtimis- ja süsteemitehnika
kvartiil
Q3
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium