Computer software - Congresses. - Reliability

Dependable software systems engineering by: (書目-電子資源)

Formal methods for industrial critical systems = 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / by: (書目-電子資源)

Software engineering for resilient systems = 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (書目-電子資源)

Software system reliability and security by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings / by: (書目-語言資料,印刷品)

Reliable software technologies-Ada-Europe 2003 = 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003 : proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings / by: (書目-語言資料,印刷品)

Reliable software technologies - Ada-Europe 2004 = 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings / by: (書目-語言資料,印刷品)

Trustworthy global computing = 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers / by: (書目-語言資料,印刷品)

Reliable software technologies - Ada-Europe '97 = 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability and security = 19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings / by: (書目-語言資料,印刷品)

Reliable software technologies, Ada-Europe 2000 = 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability and security = 20th international conference, SAFECOMP 2001, Budapest, Hungary,September 26-28, 2001 : proceedings / by: (書目-語言資料,印刷品)

Computer safety, reliability, and security = 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings / by: (書目-語言資料,印刷品)

Reliable software technologies - Ada-Europe 2002 = 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings / by: (書目-語言資料,印刷品)

Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe = 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings / by: (書目-語言資料,印刷品)

Reliable software technologies - Ada-Europe '99 = 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings/ by: (書目-語言資料,印刷品)