Limit search to available items
586 results found. Sorted by relevance | date | title .
Result Page   
Add Marked to Bag Add All On Page Add Marked to My Lists
Keywords (1-50 of 586)
Very relevant 

Very relevant titles

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

Rating:

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

Rating:

 
3
4
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:

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

Rating:

 
6
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:

 
7
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:

 
8
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:

 
10
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:

 
12
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:

 
14
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:

 
15
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:

 
17
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:

 
19
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:

 
21
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:

 
22
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:

 
27
29
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)



Rating:

 
33
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)



Rating:

 
35
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)



Rating:

 
39
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)



Rating:

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

Rigorous development of complex fault-tolerant systems


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



Rating:

 
Add Marked to Bag Add All On Page
Locate in results
Result Page