An Approach for Testing Safety-Critical Software.

Weiwei Li Zhongwei Xu Yan Jin

Published in: Great Lakes Symposium on VLSI (1999)

Keyphrases

safety critical
formal methods
embedded systems
software intensive systems
fault tolerant
safety analysis
agent architecture
nuclear power plant
support systems
regulatory requirements
software systems
test cases
learning environment
adaptive systems
software engineering
knowledge representation
real time