2017

Certifications of Critical Systems - The CECRIS Experience

Bondavalli, Andrea



 

1995

Computer-related risks

Neumann, Peter, 1932-

New York, New York : ACM Press ; Reading, Mass. : Addison-Wesley, 1995

Request It 

2005

Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings

SAFECOMP (Conference) (24th : 2005 : Fredrikstad, Norway)



 

2006

Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdańsk, Poland, September 27-29, 2006 : proceedings

SAFECOMP (Conference)



 

2007

Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings

SAFECOMP (Conference) (26th : 2007 : Nuremberg, Germany)



 

2008

Computer safety, reliability, and security : 27th international conference, SAFECOMP 2008, Newcastle on Tyne, UK, September 22-25, 2008 : proceedings

SAFECOMP (Conference) (27th : 2008 : Newcastle on Tyne, Great Britain)



 

2009

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

SAFECOMP 2009 (2009 : Hamburg, Germany)



 

2010

Computer safety, reliability, and security : 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings

SAFECOMP (Conference) (29th : 2010 : Vienna, Austria)



 

2013

Computer system reliability : safety and usability

Dhillon, B. S. (Balbir S.), 1947-



 

2011

Dependability in electronic systems : mitigation of hardware failures, soft errors, and electro-magnetic disturbances

 

1994

Dependable computing--EDCC-1 : first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings

European Dependable Computing Conference (1st : 1994 : Berlin, Germany)



 

1996

Dependable computing - EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings

Berlin : Springer, ©1996

 

2005

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

European Dependable Computing Conference (5th : 2005 : Budapest, Hungary)



 

2020

Dependable computing -- EDCC 2020 Workshops : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings

European Dependable Computing Conference (16th : 2020 : Online)

Cham, Switzerland : Springer, [2020]

 

2021

Dependable computing -- EDCC 2021 Workshops : DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings

European Dependable Computing Conference (17th : 2021 : Online)



 

2022

Dependable computing -- EDCC 2022 Workshops : SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings

European Dependable Computing Conference (18th : 2022 : Zaragoza, Spain)

Cham : Springer, 2022

 

2005

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

LADC 2005 (2005 : Salvador, Brazil)



 

2007

Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings

LADC 2007 (2007 : Morelia, Michoacán de Ocampo, Mexico)



 

2009

Fault tolerant computer architecture

Sorín, Daniel, 1951-

United States of America : Morgan & Claypool, 2009

 

1994

Foundations of dependable computing : paradigms for dependable applications

Boston : Kluwer Academic, [1994]

Request It 

1980

Reliability evaluation of some fault-tolerant computer architectures

Osaki, Shunji.

Berlin ; New York : Springer-Verlag, 1980

Request It 

1980

Reliability evaluation of some fault-tolerant computer architectures

Osaki, Shunji.

Berlin ; New York : Springer-Verlag, 1980

 

2015

Resilient computer system design

Castano, Victor, author

Cham : Springer, [2015]

 

2006

Rigorous development of complex fault-tolerant systems

Workshop on Rigorous Engineering of Fault-tolerant Systems (2005 : Newcastle upon Tyne, England)



 

2004

Systems programmer's guide to resource recovery services (RRS)

Bari, Paola.
1st ed