2010

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

ISARCS 2010 (2010 : Prague, Czech Republic)



 

2009

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; proceedings

SAFECOMP 2009 (2009 : Hamburg, Germany)



 

2007

Fault-tolerant systems

Koren, Israel, 1945-



 

2009

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

International Conference on Formal Engineering Methods (11th : 2009 : Rio de Janeiro, Brazil)



 

2009

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers

International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy)



 

2009

Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers

Brazilian Symposium on Formal Methods (12th : 2009 : Gramado, Brazil)



 

2012

Formal methods: Foundations and applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Brazilian Symposium on Formal Methods (15th : 2012 : Natal, Brazil)



 

2009

Methods, models and tools for fault tolerance

 

2007

Middleware 2007 : ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007 : proceedings

ACM/IFIP/USENIX International Middleware Conference (8th : 2007 : Newport Beach, Calif.)



 

2008

Quantum error correction and fault tolerant quantum computing

Gaitan, Frank



 

2005

Reliable distributed systems : technologies, Web services, and applications

Birman, Kenneth P



 

2010

Stochastic models for fault tolerance : restart, rejuvenation and checkpointing

Wolter, Katinka.