Architecting dependable systems IV /

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

Rigorous development of complex fault-tolerant systems /
Published: (2006)

Architecting dependable systems VII /
Published: (2010)

Open systems dependability : dependability engineering for ever-changing systems /
Published: (2015)

Dependable computing EDCC-5 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedings /
Published: (2005)

Fault diagnosis and tolerance in cryptography : third international workshop, FDTC 2006, Yokohama, Japan, October 10, 2006 ; proceedings /
Published: (2006)

Architecting dependable systems III /
Published: (2005)

Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers /
Published: (2007)

Advances in computer systems architecture : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007 : proceedings /
Published: (2007)

Architecting dependable systems II /
Published: (2004)

Architecture description languages : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France /
Published: (2005)

Architecture of computing systems--ARCS 2008 : 21st international conference, Dresden, Germany, February 25-28, 2008 : proceedings /
Published: (2008)

Architecture of computing systems--ARCS 2007 : 20th international conference, Zurich, Switzerland, March 12-15, 2007 : proceedings /
Published: (2007)

Architecture of computing systems - ARCS 2009 : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, proceedings /
Published: (2009)

Reliability of computer systems and networks : fault tolerance, analysis and design /
by: Shooman, Martin L. (Martin Lawrence), 1934-
Published: (2002)

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

International Symposium on Fault-Tolerant Computing : [proceedings].

Reconfigurable computing : architectures, tools and applications : 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings /
Published: (2009)

Advances in computer systems architecture : 11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8, 2006 : proceedings /
Published: (2006)

Proceedings /

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

Embedded computer systems : architectures, modeling, and simulation : 8th International Workshop, Samos 2008, Samos, Greece, July 21-24, 2008 : proceedings /
Published: (2008)

Validation Methods for Fault-Tolerant Avionics and Control Systems--Working Group Meeting I : proceedings of a working group meeting held at Langley Research Center, Hampton, Virginia, March 12-14, 1979 /
Published: (1979)

Dependable computing : second Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings /
Published: (2005)

Software architecture : third European workshop, EWSA 2006, Nantes, France, September 4-5, 2006, revised selected papers /
Published: (2006)

Software architecture : first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings /
Published: (2007)

Software fault tolerance techniques and implementation /
by: Pullum, Laura L.
Published: (2001)

Embedded computer systems : architectures, modeling, and simulation : 7th international workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007 : proceedings /
Published: (2007)

Trust management : third international conference, iTrust 2005, Paris, France, May 23-26, 2005 : proceedings /
Published: (2005)

Software-implemented hardware fault tolerance /
Published: (2006)

Trust management II : proceedings of IFIPTM 2008, Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway /
Published: (2008)

Trust Management III : Third IFIP WG 11.11 International Conference, IFIPTM 2009, West Lafayette, IN, USA, June 15-19, 2009. Proceedings /
Published: (2009)

Trust management : proceedings of IFIPTM 2007, Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada /
Published: (2007)

Dependable computing systems : paradigms, performance issues, and applications /
Published: (2005)

Biologically inspired cooperative computing : IFIP 19th World Computer Congress ; TC 10: 1st IFIP International Conference on Biologically Inspired Computing, August 21-24, 2006, Santiago, Chile /
Published: (2006)

Trust management : 4th international conference, iTrust 2006, Pisa, Italy, May 16-19, 2006 : proceedings /
Published: (2006)