scientific article; zbMATH DE number 2033525

MaRDI QIDQ4444738zbMATH OpenFDO

Authors Tadeusz Cichocki, Janusz Gorski

Publication date 27 January 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2187/21870190.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• Formal fault tree analysis -- practical experiences
• Communicating Sequential Processes. The First 25 Years
• FERRARI: a flexible software-based fault and error injection system
• Formalization of fault trees in higher-order logic: a deep embedding approach
• Formal methods of analysis of system properties

Cited in

(3)

• Formal Analysis of Robustness at Model and Code Level
• scientific article; zbMATH DE number 2033520 (Why is no real title available?)
• Testing distributed ABS system with fault injection

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4444738)