2010

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

ISARCS 2010 (2010 : Prague, Czech Republic)



 

2005

Architecting dependable systems III

 

2007

Architecting dependable systems IV

 

2008

Architecting dependable systems V

 

2002

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

European Dependable Computing Conference (4th : 2002 : Toulouse, France)

Berlin ; New York : Springer, 2002

Request It 

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)



 

2006

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

Workshop on Fault Diagnosis and Tolerance in Cryptography (3rd : 2006 : Yokohama-shi, Japan)



 

 

International Symposium on Fault-Tolerant Computing : [proceedings]

International Symposium on Fault-Tolerant Computing

[Long Beach, CA] : [IEEE Computer Society]

 

2016

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

1st ed. 2016
Cham : Springer International Publishing : Imprint : Springer, 2016

 

2012

NASA formal methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

NFM 2012 (2012 : Norfolk, Va.)



 

2011

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

NFM (Symposium) (3rd : 2011 : Pasadena, Calif.)



 

2002

PRDC 2002 : proceedings : 2002 Pacific Rim International Symposium on Dependable Computing : 16-18 December, 2002, Tsukuba, Japan

Pacific Rim International Symposium on Dependable Computing (9th : 2002 : Tsukuba, Japan)

Los Alamitos, Calif. : IEEE Computer Society Press, [2002]

Request It 

1992-

Proceedings

Asian Test Symposium

Los Alamitos, Calif. : IEEE Computer Society Press, [1992-]

 

2006

Rigorous development of complex fault-tolerant systems

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