Login / Signup
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