Old Web
English
Sign In
Acemap
>
Paper
>
Automatic Generation of the AADL ALISA Verification Plan with ATL
Automatic Generation of the AADL ALISA Verification Plan with ATL
2017
Tianyi Wu
Zhiqiu Huang
Zhibin Yang
Tiexin Wang
Lei Xue
Keywords:
Systems engineering
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]