Formal methods based security for cloud-based manufacturing cyber physical system
author
Muniasamy, Kandasamy
Srinivasan, Seshadhri
Vain, Jüri
Sethumadhavan, M.
statement of authorship
Kandasamy Muniasamy, Seshadhri Srinivasan, Juri Vain, M. Sethumadhavan
source
IFAC-PapersOnLine
journal volume number month
vol. 52, 13
year of publication
2019
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
url
https://doi.org/10.1016/j.ifacol.2019.11.361
subject term
asjade internet
küberturve
mobiilseadmed
pilvandmetöötlus
keyword
internet of things (IoT)
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
3.1
Scopus
Conference proceedings at Scopus
Article at Scopus
WOS
Article at WOS
category (general)
Engineering
en
Tehnika
et
category (sub)
Engineering. Control and systems engineering
en
Tehnika. Juhtimis- ja süsteemitehnika
et
kvartiil
Q3
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory