Sign in

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

Hezhen LiuZhi JinZheng ZhengChengqiang HuangXun 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