An Ontological Analysis of Safety-Critical Software and Its Anomalies.

Hezhen Liu Zhi Jin Zheng Zheng Chengqiang Huang Xun Zhang

Published in: QRS (2022)

Keyphrases

safety critical
safety analysis
artificial intelligence
software systems
machine learning
cooperative
knowledge representation
software engineering
domain specific
medical images
formal methods