CONTACT US: Contact info
A framework for dependability engineering of critical computing systems
Assessing the practical benefits of formal methods for software development
Assessing the reliability of diverse fault-tolerant software-based systems
Assessment of programmable systems using Bayesian belief nets
Design for safety in Safecharts with risk ordering of states
Forensic software engineering: are software failures symptomatic of systemic problems?
Safety, reliability and security of industrial computer systems
Software tools to support incident reporting in safety-critical systems