Search

Subject Computer software -- Reliability -- Congresses

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

Editors:
Bertogna, Marko; Pinho, Luís Miguel; Quiñones, Eduardo
Other Names:
Ada-Europe International Conference on Reliable Software Technologies, 21st
Record Type:
Book
Extent:
1 online resource (xiv, 213 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

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

Editors:
Liu, Zhiming; Zhang, Zili
Other Names:
International School on Engineering Trustworthy Software Systems, 1st
Record Type:
Book
Extent:
1 online resource (xi, 325 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

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

Editors:
Crnkovic, Ivica; Troubitsyna, Elena (Elena A.), 1970-
Other Names:
SERENE (Workshop), 8th
Record Type:
Book
Extent:
1 online resource (ix, 149 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

4. Critical systems : formal 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 /: formal 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. (2017)

Editors:
Petrucci, Laure; Seceleanu, Cristina; Cavalcanti, Ana
Other Names:
International Workshop on Formal Methods for Industrial Critical Systems, 22nd; International Workshop on Automated Verification of Critical Systems, 17th
Record Type:
Book
Extent:
1 online resource (xiv, 235 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

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

Editors:
Casimiro, Antonio; Ferreira, Pedro M
Other Names:
Ada-Europe International Conference on Reliable Software Technologies, 23rd
Record Type:
Book
Extent:
1 online resource (XIV, 175 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

6. Critical systems : formal 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 /: formal 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. (2016)

Editors:
Beek, Maurice H. ter; Gnesi, Stefania, 1954-; Knapp, Alexander, 1971-
Other Names:
International Workshop on Formal Methods for Industrial Critical Systems, 21st; International Workshop on Automated Verification of Critical Systems, 16th
Record Type:
Book
Extent:
1 online resource (xvi, 247 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

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

Editors:
Blieberger, Johann; Bader, Markus
Other Names:
Ada-Europe International Conference on Reliable Software Technologies, 22nd
Record Type:
Book
Extent:
1 online resource (xiv, 251 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

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

Editors:
Romanovsky, Alexander, 1954-; Troubitsyna, Elena (Elena A.), 1970-
Other Names:
SERENE (Workshop), 9th
Record Type:
Book
Extent:
1 online resource (xiv, 201 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

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

Editors:
Howar, Falk; Barnat, Jiří
Other Names:
International Workshop on Formal Methods for Industrial Critical Systems, 23rd
Record Type:
Book
Extent:
1 online resource (xvi, 291 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search

  • Computer software -- Reliability -- Congresses 12