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
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
category (general)
Engineering
Tehnika
category (sub)
Engineering. Control and systems engineering
Tehnika. Juhtimis- ja süsteemitehnika
quartile
Q3
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory