Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Formal methods based security for cloud-based manufacturing cyber physical system (title)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/46)
Export
export all inquiry results
(1)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Formal methods based security for cloud-based manufacturing cyber physical system
Muniasamy, Kandasamy
;
Srinivasan, Seshadhri
;
Vain, Jüri
;
Sethumadhavan, M.
IFAC-PapersOnLine
2019
/
p. 1198-1203
https://doi.org/10.1016/j.ifacol.2019.11.361
Conference proceedings at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
46
1.
cloud-based cyber-physical systems (C2PS)
2.
cloud- and AI-based system
3.
cloud manufacturing operating system
4.
cyber physical power system (CPPS)
5.
Cyber Physical Production System
6.
cyber physical social system
7.
cyber physical system
8.
cyber-physical social system (CPSS)
9.
cyber-physical system
10.
Cyber-Physical System (CPS)
11.
cyber-physical system logistic robot
12.
mobile cyber-physical system
13.
cloud-based medical systems
14.
policy-based routing security
15.
knowledge based manufacturing
16.
knowledge-based manufacturing
17.
laser-based additive manufacturing
18.
computer vision-based methods
19.
Tree-based methods
20.
Adaptive network-based fuzzy inference system (ANFIS)
21.
cloud manufacturing
22.
end-to-end model-based system
23.
knowledge-based system
24.
power-to-gas based storage system
25.
renewable-based hybrid system
26.
standards-based classfication system
27.
formal methods
28.
Cyber Bio-analytical Physical Systems (CBPSs)
29.
cyber physical energy systems
30.
cyber physical production systems (CPPS)
31.
cyber physical social systems (cpss)
32.
cyber-physical energy systems
33.
cyber-physical systems
34.
Cyber-Physical Systems (CPS)
35.
Socio-Cyber-Physical Systems
36.
cloud operating system
37.
cyber security
38.
cyber security education
39.
cyber security exercises
40.
cyber security monitoring
41.
cyber security strategies
42.
cyber-security
43.
maritime cyber security
44.
maritime cyber security operations centers
45.
national cyber security strategy
46.
rigorous formal diagrammatic system
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT