Login / Signup
Assesing dependability of safety critical systems using diverse evidence.
Norman E. Fenton
Bev Littlewood
Martin Neil
Lorenzo Strigini
Alistair G. Sutcliffe
David Wright
Published in:
IEE Proc. Softw. (1998)
Keyphrases
</>
safety critical
formal methods
nuclear power plant
fault tolerant
safety analysis
embedded systems
support systems
adaptive systems
agent architecture
artificial intelligence
regulatory requirements
smart home
ubiquitous computing
knowledge based systems
distributed systems
software engineering
management system