Formal methods based security for cloud-based manufacturing cyber physical system
author
statement of authorship
Kandasamy Muniasamy, Seshadhri Srinivasan, Juri Vain, M. Sethumadhavan
source
journal volume number month
vol. 52, 13
year of publication
pages
p. 1198-1203
conference name, date
9th IFAC Conference on Manufacturing Modelling, Management and Control, MIM 2019, 28-30 August 2019
conference location
Berlin, Germany
subject term
keyword
cloud-based cyber-physical systems (C2PS)
ISSN
2405-8963
notes
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
scientific publication
teaduspublikatsioon
classifier
WOS
category (general)
category (sub)
kvartiil
TTÜ department
language
inglise
Uurimisrühm
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.