Login / Signup
A Novel Testing Approach for Safety-Critical Software.
Zhongwei Xu
Fangmei Wu
Published in:
Asian Test Symposium (1999)
Keyphrases
</>
safety critical
formal methods
fault tolerant
embedded systems
software intensive systems
safety analysis
nuclear power plant
agent architecture
support systems
test cases
real time
regulatory requirements
adaptive systems
learning systems
recommender systems
user interface
cooperative
case study
artificial intelligence
data mining