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