Limit search to available items
322 results found. Sorted by relevance | date | title .
Result Page   1 2 3 4 5 6 7 Next
Add Marked to Bag Add All On Page Add Marked to My Lists
Keywords (1-50 of 322)
Very relevant 

Very relevant titles

 entries 1-54
1
E-book
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

Rating:

 
 
2
E-book
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

Rating:

 
 
3
E-book
2017

Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings


SERENE (Workshop) (9th : 2017 : Geneva, Switzerland)
Cham : Springer, 2017

Rating:

 
 
4
E-book
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

Rating:

 
 
5
E-book
2017

Dependable software systems engineering


NATO Advanced Studies Institute on Dependable Software Systems Engineering (2016 : Marktoberdorf, Germany)
Amsterdam, Netherlands : IOS Press, 2017

Rating:

 
 
6
E-book
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

Rating:

 
 
7
E-book
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

Rating:

 
 
8
E-book
2016

Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings


SERENE (Workshop) (8th : 2016 : Gothenburg, Sweden)
Switzerland : Springer, 2016

Rating:

 
 
9
E-book
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

Rating:

 
 
10
E-book
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

Rating:

 
 
11
E-book
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

Rating:

 
 
12
 
13
E-book
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

Rating:

 
 
14
E-book
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

Rating:

 
 
15
 
16
E-book
2013

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


EWDC (Workshop) (14th : 2013 : Coimbra, Portugal)
Berlin ; New York : Springer, [2013]

Rating:

 
 
17
E-book
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]

Rating:

 
 
18
E-book
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

Rating:

 
 
19
E-book
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]

Rating:

 
 
20
E-book
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)
Berlin ; New York : Springer, [2012]

Rating:

 
 
21
E-book
2012

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


SERENE (Workshop) (4th : 2012 : Pisa, Italy)
Berlin ; New York : Springer, [2012]

Rating:

 
 
22
E-book
2012

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


SAFECOMP (Conference) (31st : 2012 : Magdeburg, Germany)
Berlin ; New York : Springer, [2012]

Rating:

 
 
23
E-book
2011

Software and systems safety : specification and verification



Amsterdam, The Netherlands : IOS Press, 2011

Rating:

 
 
24
E-book
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)
Heidelberg : Springer, 2011

Rating:

 
 
25
E-book
2011

Software engineering for resilient systems : third international Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, proceedings


SERENE (Workshop) (3rd : 2011 : Geneva, Switzerland)
Berlin ; New York : Springer, [2011]

Rating:

 
 
26
E-book
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)
Berlin ; New York : Springer, [2011]

Rating:

 
 
27
E-book
2010

Computer safety, reliability, and security : 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings


SAFECOMP (Conference) (29th : 2010 : Vienna, Austria)
Berlin : Springer, 2010

Rating:

 
 
28
E-book
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)
Berlin : Springer, [2010]

Rating:

 
 
29
E-book
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
Berlin ; New York : Springer, 2009

Rating:

 
 
30
E-book
2009

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; proceedings


SAFECOMP (Conference) (28th : 2009 : Hamburg, Germany)
Berlin : Springer, 2009

Rating:

 
 
31
E-book
2009

Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings


TAP 2009 (2009 : Eidgenössische Technische Hochschule Zürich, Switzerland)
Berlin ; New York : Springer, [2009]

Rating:

 
 
32
E-book
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)
Berlin : Springer, [2009]

Rating:

 
 
33
E-book
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)
Berlin ; New York : Springer, [2008]

Rating:

 
 
34
E-book
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)
Berlin ; New York : Springer, 2008

Rating:

 
 
35
E-book
2008

Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings


TAP 2008 (2008 : Prato, Italy)
Berlin ; New York : Springer, 2008

Rating:

 
 
36
E-book
2007

Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers


TAP 2007 (2007 : Zurich, Switzerland)
Berlin ; New York : Springer, [2007]

Rating:

 
 
37
E-book
2007

Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings


SAFECOMP (Conference) (26th : 2007 : Nuremberg, Germany)
Berlin ; New York : Springer, 2007

Rating:

 
 
38
E-book
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)
Berlin ; New York : Springer, [2007]

Rating:

 
 
39
E-book
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)
Berlin ; New York : Springer, [2007]

Rating:

 
 
40
E-book
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)
London : Springer, 2007

Rating:

 
 
41
E-book
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)
Amsterdam ; Washington, DC : IOS Press, [2007]

Rating:

 
 
42
E-book
2007

Software system reliability and security



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

Rating:

 
 
43
Location Call no. Vol. Availability
 W'PONDS  001.5 Ico/Csr 2006  AVAILABLE
44
E-book
2006

Rigorous development of complex fault-tolerant systems


Workshop on Rigorous Engineering of Fault-tolerant Systems (2005 : Newcastle upon Tyne, England)
Berlin ; New York : Springer, [2006]

Rating:

 
 
45
E-book
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)
Berlin ; New York : Springer, [2006]

Rating:

 
 
47
E-book
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)
London : Springer, [2006]

Rating:

 
 
48
E-book
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)
Berlin ; New York : Springer, [2005]

Rating:

 
 
49
E-book
2005

Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings


SAFECOMP (Conference) (24th : 2005 : Fredrikstad, Norway)
Berlin ; New York : Springer, 2005

Rating:

 
 
50
E-book
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)
London : Springer, [2005]

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results
Result Page   1 2 3 4 5 6 7 Next