Login / Signup
A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software.
Weikai Miao
Qianqian Yan
Yihao Huang
Jincao Feng
Hanyue Zheng
Published in:
APSEC (2019)
Keyphrases
</>
control software
domain experts
domain knowledge
knowledge acquisition
domain specific
control system
knowledge base
expert knowledge
human experts
domain dependent
knowledge engineering
semi automatically
knowledge elicitation
clinical data
dynamic aspects
general purpose
decision trees
data mining