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