Model-based security engineering for cyber-physical systems: A systematic mapping study

2017 ◽  
Vol 83 ◽  
pp. 116-135 ◽  
Author(s):  
Phu H. Nguyen ◽  
Shaukat Ali ◽  
Tao Yue
Keyword(s):  
Cyber Physical Systems ◽  
Systematic Mapping Study ◽  
Mapping Study ◽  
Systematic Mapping ◽  
Security Engineering ◽  
Physical Systems ◽  
Model Based

scholarly journals A Systematic Mapping Study on the Verification of Cyber-Physical Systems

IEEE Access ◽  
2018 ◽  
Vol 6 ◽  
pp. 59043-59064 ◽  
Author(s):  
Pengfei Duan ◽  
Ying Zhou ◽  
Xufang Gong ◽  
Bixin Li
Keyword(s):  
Cyber Physical Systems ◽  
Systematic Mapping Study ◽  
Mapping Study ◽  
Systematic Mapping ◽  
Physical Systems

scholarly journals Model-based testing using UML activity diagrams: A systematic mapping study

2019 ◽  
Vol 33 ◽  
pp. 98-112 ◽  
Author(s):  
Tanwir Ahmad ◽  
Junaid Iqbal ◽  
Adnan Ashraf ◽  
Dragos Truscan ◽  
Ivan Porres
Keyword(s):  
Systematic Mapping Study ◽  
Mapping Study ◽  
Systematic Mapping ◽  
Model Based ◽  
Activity Diagrams ◽  
Model Based Testing ◽  
Uml Activity Diagrams
Sign in / Sign up

Export Citation Format

Share Document