[WDSX19]
Xiaomin Wei, Yunwei Dong, Pengpeng Sun and Mingrui Xiao.
Safety Analysis of AADL Models for Grid Cyber-Physical Systems via Model Checking of Stochastic Games.
Electronics, 8(2).
2019.
[Formally analyses grid cyber-physical systems using PRISM-games.]
|
