Search

Subject Computer programs -- Verification -- Congresses

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

2. Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings. (2015)

Editors:
Piterman, Nir
Other Names:
International Haifa Verification Conference, 11th
Record Type:
Book
Extent:
1 online resource (293 pages)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

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

4. Verified software: theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers /: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers. (2016)

Editors:
Gurfinkel, Arie; Seshia, Sanjit A
Other Names:
VSTTE (Conference), 7th
Record Type:
Book
Extent:
1 online resource (223 pages)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

5. Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. ([2016])

Editors:
Bloem, Roderick P; Arbel, Eli
Other Names:
International Haifa Verification Conference, 12th
Record Type:
Book
Extent:
1 online resource (xvi, 211 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

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

9. Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /: 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings. ([2019])

Editors:
Larsen, K. G (Kim G.), 1957-; Willemse, Tim
Other Names:
International Workshop on Formal Methods for Industrial Critical Systems, 24th
Record Type:
Book
Extent:
1 online resource, illustrations (some color)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search

  • Computer programs -- Verification -- Congresses 9