Computer software - Congresses. - Reliability
Overview
Works: | 57 works in 27 publications in 27 languages |
---|
Titles
Tests and proofssecond international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
by:
(Electronic resources)
Reliable Software Technologies -- Ada-Europe 200611th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings /
by:
(Electronic resources)
Computer Safety, Reliability, and Security (vol. # 4166)25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings /
by:
(Electronic resources)
Reliable Software Technologies Ada-Europe 200813th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
by:
(Electronic resources)
Reliable Software Technology - Ada-Europe 200510th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /
by:
(Electronic resources)
Computer Safety, Reliability, and Security :24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
by:
(Electronic resources)
Summary of a workshop on software-intensive systems and uncertainty at scale
by:
(Electronic resources)
Computer safety, reliability, and security27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings /
by:
(Electronic resources)
Reliable software technologies-Ada-Europe 20038th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 20049th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings /
by:
(Electronic resources)
Trustworthy global computing4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers /
by:
(Electronic resources)
Reliable software technologies-Ada-Europe 200914th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings /
by:
(Electronic resources)
Tests and proofsthird international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
by:
(Electronic resources)
Computer safety, reliability, and security28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe '971997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe '991999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings /
by:
(Electronic resources)
Computer safety, reliability and security19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings /
by:
(Electronic resources)
Reliable software technologies, Ada-Europe 20005th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings /
by:
(Electronic resources)
Computer safety, reliability and security20th international conference, SAFECOMP 2001, Budapest, Hungary,September 26-28, 2001 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 20027th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 201015th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings /
by:
(Electronic resources)
Reliable software technologiesAda-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
(Electronic resources)
Software engineering for resilient systemsthird international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011 : proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 201217th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012 : proceedings /
by:
(Electronic resources)
Constituents of modern system-safety thinkingproceedings of the Thirteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10 February 2005 /
by:
(Electronic resources)
Software engineering for resilient systems4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings /
by:
(Electronic resources)
Developments in risk-based approaches to safetyproceedings of the fourteenth Safety-critical Systems Symposium, Bristol, UK, 7-9 February 2006 /
by:
(Language materials, printed)
Reliable software technologies - Ada-Europe 201419th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014 : proceedings /
by:
(Language materials, printed)
Software engineering for resilient systems6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 : proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 201520th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015 : proceedings /
by:
(Electronic resources)
Software engineering for resilient systems7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
(Electronic resources)
Engineering trustworthy software systemsfirst International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 201621st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings /
by:
(Electronic resources)
Software engineering for resilient systems8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 201722nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017 : proceedings /
by:
(Electronic resources)
Software engineering for resilient systems9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings /
by:
(Electronic resources)
Reliable software technologies - Ada-Europe 201823rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018 : proceedings /
by:
(Electronic resources)
Formal methods for industrial critical systems24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects