1. Concise guide to formal methods : theory, fundamentals and industry applications /: theory, fundamentals and industry applications. (2017) Authors: O'Regan, Gerard (Cornelius Gerard) Record Type: Book Extent: 1 online resource (xix, 312 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. 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) ↗
3. 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) ↗
4. Formal aspects of component software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised selected papers /: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised selected papers. (2017) Editors: Kouchnarenko, Olga; Khosravi, Ramtin Other Names: FACS (Symposium), 13th Record Type: Book Extent: 1 online resource (xviii, 281 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. (2017) Editors: (Post doc researcher), Proença, José; Lumpe, Markus Other Names: FACS (Symposium), 14th Record Type: Book Extent: 1 online resource (x, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Formal concept analysis : 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings /: 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings. (2017) Editors: Bertet, Karell; Borchmann, Daniel; Cellier, Peggy; Ferré, Sébastien Other Names: International Conference on Formal Concept Analysis, 14th Record Type: Book Extent: 1 online resource (xviii, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Formal concept analysis of social networks. (2017) Editors: Missaoui, R; Kuznetsov, Sergei O; Obiedkov, Sergei Record Type: Book Extent: 1 online resource (195 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings /: foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings. (2017) Editors: Cavalheiro, Simone; Fiadeiro, José Luiz, 1961- Other Names: Brazilian Symposium on Formal Methods, 20th Record Type: Book Extent: 1 online resource (x, 305 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. (2017) Editors: Duan, Zhenhua; Ong, Luke Other Names: International Conference on Formal Engineering Methods, 19th Record Type: Book Extent: 1 online resource (xvii, 498 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude /: an introduction based on executable modeling in Maude. (2017) Authors: Ölveczky, Peter Csaba Record Type: Book Extent: 1 online resource (250 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗