QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model.

Xiaomin Wei Yunwei Dong Hong Ye

Published in: TASE (2015)

Keyphrases

safety analysis
neural network
artificial intelligence
cooperative
control system
dynamic programming
state space
object oriented
low cost
software systems