Formal Verification of Behavioral AADL Models By Stateful Timed CSP
Feng, Zhang, Yongwang, Zhao, Dianfu, Ma, Wensheng, NiuYear:
2017
Language:
english
Journal:
IEEE Access
DOI:
10.1109/ACCESS.2017.2770323
File:
PDF, 3.17 MB
english, 2017