Search

Subject Formal methods (Computer science) -- Congresses

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

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

6. Descriptional complexity of formal systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings. (2017)

Editors:
Pighizzini, Giovanni; Câmpeanu, Cezar
Other Names:
DCFS (Workshop), 19th
Record Type:
Book
Extent:
1 online resource (x, 311 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

7. Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings /: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings. (2018)

Editors:
Konstantinidis, Stavros; Pighizzini, Giovanni
Other Names:
DCFS (Workshop), 20th
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. Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, proceedings /: 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, proceedings. (2019)

Editors:
(Computer scientist), Hospodár, Michal; Jirásková, Galina; Konstantinidis, Stavros
Other Names:
DCFS (Workshop), 21st
Record Type:
Book
Extent:
1 online resource (x, 299 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

9. FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /: formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. (2016)

Editors:
Fitzgerald, John, 1965-; Heitmeyer, Constance L; Gnesi, Stefania, 1954-; Philippou, Anna
Other Names:
International Symposium of Formal Methods Europe, 21st
Record Type:
Book
Extent:
1 online resource (xxiii, 789 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

10. Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers /: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers. ([2015])

Editors:
Lanese, Ivan; Madelaine, Eric
Other Names:
FACS (Symposium), 11th
Record Type:
Book
Extent:
1 online resource (x, 385 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search

  • Formal methods (Computer science) -- Congresses 94