2002

Components of system safety : proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002

Safety-Critical Systems Symposium (10th : 2002 : Southampton, England)

London : Springer, [2002]

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, Gdansk, Poland, September 27-29, 2006 ; proceedings

SAFECOMP (Conference) (25th : 2006 : Gdańsk, Poland)

Berlin : Springer, 2006

Request It 

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)



 

2012

Computer safety, reliability, and security : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

SAFECOMP 2012 (2012 : Magdeburg, Germany)



 

2005

Constituents of modern system-safety thinking : proceedings of the Thirteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10 February 2005

Safety-Critical Systems Symposium (13th : 2005 : Southampton, England)



 

2016

Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verifica

International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy)

Cham : Springer, 2016

 

2017

Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verifica

International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference.

Cham, Switzerland : Springer, 2017

 

2013

Dependable computing : 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013 : proceedings

EWDC (Workshop) (14th : 2013 : Coimbra, Portugal)



 

2017

Dependable software systems engineering

NATO Advanced Studies Institute on Dependable Software Systems Engineering (2016 : Marktoberdorf, Germany)

Amsterdam, Netherlands : IOS Press, 2017

 

2006

Developments in risk-based approaches to safety : proceedings of the fourteenth Safety-critical Systems Symposium, Bristol, UK, 7-9 February 2006

Safety-Critical Systems Symposium (14th : 2006 : Bristol, England)



 

2016

Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

International School on Engineering Trustworthy Software Systems (1st : 2014 : Chongqing, China)

Cham : Springer, 2016

 

2007

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected pa

International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany)



 

2009

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers

International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy)



 

2011

Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings

International Workshop on Formal Methods for Industrial Critical Systems (16th : 2011 : Trento, Italy)



 

2013

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (18th : 2013 : Madrid, Spain)

Heidelberg : Springer, [2013]

 

2014

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (19th : 2014 : Florence, Italy)

Cham : Springer, 2014

 

2015

Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (20th : 2015 : Oslo, Norway)

Cham : Springer, 2015

 

2018

Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

International Workshop on Formal Methods for Industrial Critical Systems (23rd : 2018 : Maynooth, Ireland)

Cham, Switzerland : Springer, 2018

 

2019

Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings

International Workshop on Formal Methods for Industrial Critical Systems (24th : 2019 : Amsterdam, Netherlands)

Cham : Springer, [2019]

 

2021

Formal methods for industrial critical systems : 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings

International Workshop on Formal Methods for Industrial Critical Systems (26th : 2021 : Online)

Cham : Springer, [2021]

 

2002

New Trends in Software Methodologies, Tools and Techniques : Proceedings of Lyee-W02

Lyee-W02 (2002 : Paris, France)



 

2003

New trends in software methodologies, tools and techniques : proceedings of Lyee W03, the second International Workshop on Lyee Methodology

International Workshop on Lyee Methodology (2nd : 2003 : Kista, Sweden)

Amsterdam ; Washington, DC : IOS Press, [2003]

Request It 

2007

New trends in software methodologies, tools and techniques : [proceedings of the sixth SoMET-07]

International Conference on New Trends in Software Methodologies, Tools and Techniques (6th : 2007 : Rome, Italy)



 

 

Proceedings

IEEE International Conference on Secure Software Integration and Reliability Improvement.



 

1996

Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings

Ada-Europe International Conference on Reliable Software Technologies (1996 : Montreux, Switzerland)

Berlin ; New York : Springer, ©1996

 

2006

Reliable software technologies : Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings

Ada-Europe International Conference on Reliable Software Technologies (11th : 2006 : Porto, Portugal)



 

2007

Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings

Ada-Europe International Conference on Reliable Software Technologies (12th : 2007 : Geneva, Switzerland)



 

2008

Reliable software technologies--Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 : proceedings

Ada-Europe International Conference on Reliable Software Technologies (13th : 2008 : Venice, Italy)



 

2009

Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings

Ada-Europe International Conference on Reliable Software Technologies (14th : 2009 : Brest, France)



 

2010

Reliable software technologies--Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 : proceedings

Ada-Europe International Conference on Reliable Software Technologies (15th : 2010 : Valencia, Spain)



 

2011

Reliable software technologies--Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011 : proceedings

Ada-Europe International Conference on Reliable Software Technologies (16th : 2011 : Edinburgh, Scotland)



 

2012

Reliable software technologies-- Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

Ada-Europe International Conference on Reliable Software Technologies (17th : 2012 : Stockholm, Sweden)



 

2013

Reliable Software Technologies-- Ada-Europe 2013 : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Ada-Europe International Conference on Reliable Software Technologies (18th : 2013 : Berlin, Germany)

Heidelberg : Springer, [2013]

 

2014

Reliable software technologies -- Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Ada-Europe International Conference on Reliable Software Technologies (19th : 2014 : Paris, France)

Cham : Springer, 2014

 

2015

Reliable software technologies -- Ada-Europe 2015 : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

Ada-Europe International Conference on Reliable Software Technologies (20th : 2015 : Madrid, Spain)

Cham : Springer, 2015

 

2016

Reliable software technologies -- Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

Ada-Europe International Conference on Reliable Software Technologies (21st : 2016 : Pisa, Italy)

Switzerland : : Springer, 2016

 

2017

Reliable software technologies -- Ada-Europe 2017 : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Ada-Europe International Conference on Reliable Software Technologies (22nd : 2017 : Vienna, Austria)

Cham, Switzerland : Springer, 2017

 

2018

Reliable software technologies -- Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

Ada-Europe International Conference on Reliable Software Technologies (23rd : 2018 : Lisbon, Portugal)

Cham, Switzerland : Springer, [2018]

 

2005

Reliable software technology : Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings

Ada-Europe International Conference on Reliable Software Technologies (10th : 2005 : York, England)



 

2006

Rigorous development of complex fault-tolerant systems

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



 

2007

The safety of systems : proceedings of the fifteenth Safety-critical Systems Symposium, Bristol, UK, 13-15 February 2007

Safety-Critical Systems Symposium (15th : 2007 : Bristol, England)



 

2012

Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

SERENE (Workshop) (4th : 2012 : Pisa, Italy)



 

2013

Software engineering for resilient systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

SERENE (Workshop) (5th : 2013 : Kiev, Ukraine)

Heidelberg : Springer, 2013

 

2014

Software engineering for resilient systems : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

SERENE (Workshop) (6th : 2014 : Budapest, Hungary)

Cham : Springer, 2014

 

2015

Software engineering for resilient systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

SERENE (Workshop) (7th : 2015 : Paris, France)

Cham : Springer, 2015