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
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
language
inglise
subject term
keyword
cloud-based cyber-physical systems (C2PS)
classifier
WOS
kvartiil
category (general)
category (sub)
TTÜ department
Reserch Group
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.