Login / Signup
Dependability Analysis and Verification Technology of Artificial Intelligence Software.
Yaming Zhang
Lijin Wu
Xiaomei Shen
Zehua Shen
Tongli Tang
Published in:
QRS Companion (2022)
Keyphrases
</>
artificial intelligence
ambient intelligence
analysis tool
software systems
data analysis
user interface
object oriented
computational intelligence
statistical analysis
formal analysis
expert systems
software engineering
complex systems
personal computer
software maintenance
software design