Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting /

Dependable computing and fault-tolerant systems.
Published: (1987)

Validation methods research for fault-tolerant avionics and control systems : working group meeting, II : proceedings of a working group meeting held at Langley Research Center, Hmapton, Virginia, October 3-4, 1979 /
Published: (1980)

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings /
Published: (2003)

Predictably dependable computing systems /
Published: (1995)

The UVM primer : an introduction to the Universal Verification Methodology /
by: Salemi, Ray
Published: (2013)

Hardware and software architectures for fault tolerance : experiences and perspectives /
Published: (1994)

Functional safety for embedded systems /
by: Xie, Guoqi, 1983-
Published: (2023)

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings /
Published: (2002)

NASA formal methods : third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
Published: (2011)

Dependable computing for critical applications 3 /
Published: (1993)

Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 ; proceedings /
Published: (1999)

Conference on Control and Fault-Tolerant Systems : [proceedings].

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings /
Published: (2002)

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings /
Published: (2000)

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings /
Published: (1993)

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings /
Published: (2004)

Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings /
Published: (2011)

Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010, Revised selected papers /
Published: (2011)

Computer aided verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
Published: (2010)

Gradle : Ein kompakter Einstieg in modernes Build-Management /
by: Baumann, Joachim
Published: (2013)

TMap Next : ein praktischer Leitfaden für ergebnisorientiertes Softwaretesten /
Published: (2008)

Defect and fault tolerance in VLSI systems : volume 2 : proceedings of the International Workshop on Defect and Fault Tolerance in VLSI Systems, held October 22-24, 1989, in Tampa, Florida /
Published: (1990)

Dependable computing EDCC-4 : 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings /
Published: (2002)

Model checking and artificial intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers /
Published: (2009)

Architecting critical systems : first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 /
Published: (2010)

Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings /
Published: (2011)

Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings /
Published: (2009)

Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /
Published: (2007)

Reliability bounds for fault-tolerant systems with competing responses to component failures /
by: Lee, Larry D.
Published: (1985)

Explore it! : Wie Softwareentwickler und Tester mit explorativem Testen Risiken reduzieren und Fehler aufdecken /
by: Hendrickson, Elisabeth
Published: (2014)

Architecting dependable systems /
Published: (2003)

Fault diagnosis and fault-tolerant control of robotic and autonomous systems /
Published: (2020)

Proceedings.
Published: (1992)

Workshop on Fault Diagnosis and Tolerance in Cryptography : FDTC.

Formal methods for trustworthy computer systems (FM89) : report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada /
Published: (1990)

Automatic verification of sequential infinite-state processes /
by: Burkart, Olaf
Published: (1997)