Computer software - Congresses. - Reliability

Computer safety, reliability, and security22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings / by: (書目-電子資源)

Reliable software technologies-Ada-Europe 20038th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 20049th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings / by: (書目-電子資源)

Trustworthy global computing4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers / by: (書目-電子資源)

Reliable software technologies-Ada-Europe 200914th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings / by: (書目-電子資源)

Tests and proofsthird international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers / by: (書目-電子資源)

Computer safety, reliability, and security28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe '971997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe '991999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings / by: (書目-電子資源)

Computer safety, reliability and security19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings / by: (書目-電子資源)

Reliable software technologies, Ada-Europe 20005th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings / by: (書目-電子資源)

Computer safety, reliability and security20th international conference, SAFECOMP 2001, Budapest, Hungary,September 26-28, 2001 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 20027th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 201015th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings / by: (書目-電子資源)

Reliable software technologiesAda-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / by: (書目-電子資源)

Software engineering for resilient systemsthird international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 201217th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012 : proceedings / by: (書目-電子資源)

Constituents of modern system-safety thinkingproceedings of the Thirteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10 February 2005 / by: (書目-電子資源)

Software engineering for resilient systems4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings / by: (書目-電子資源)

Computer safety, reliability, and security31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings / by: (書目-電子資源)

Developments in risk-based approaches to safetyproceedings of the fourteenth Safety-critical Systems Symposium, Bristol, UK, 7-9 February 2006 / by: (書目-語言資料,印刷品)

Resilience assessment and evaluation of computing systems by: (書目-電子資源)

Reliable software technologies - Ada-Europe 201419th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (書目-語言資料,印刷品)

Software engineering for resilient systems6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 201520th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015 : proceedings / by: (書目-電子資源)

Software engineering for resilient systems7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings / by: (書目-電子資源)

Engineering trustworthy software systemsfirst International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 201621st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings / by: (書目-電子資源)

Software engineering for resilient systems8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings / by: (書目-電子資源)

Critical systemsformal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 201722nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017 : proceedings / by: (書目-電子資源)

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

Critical systemsformal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings / by: (書目-電子資源)

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

Reliable software technologies - Ada-Europe 201823rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018 : proceedings / by: (書目-電子資源)

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

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

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