Safety Analysis of AADL Models for Grid Cyber-Physical Systems via Model Checking of Stochastic Games
Wei, Xiaomin, Dong, Yunwei, Sun, Pengpeng, Xiao, MingruiVolume:
8
Language:
english
Journal:
Electronics
DOI:
10.3390/electronics8020212
Date:
February, 2019
File:
PDF, 1.79 MB
english, 2019