Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (Lecture Notes in Computer Science #12531)
3868201
|
Shang-Wei Lin
Zhe Hou
Brendan Mahoney
|
9783030634063 |
2020 |
Contains images
|
|
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings (Lecture Notes in Computer Science #14308)
5784126
|
Yi Li
Sofiène Tahar
|
9789819975846 |
2023 |
Contains images
|
|
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science #15394)
6354408
|
Shaoying Liu
Kazuhiro Ogata
Dominique Mery
Meng Sun
|
9789819606177 |
2024 |
Contains images
|
|
Formal Methods for Industrial Critical Systems
850204
|
Stefania Gnesi
Tiziana Margaria
|
9781118459874 |
2013 |
Contains images
|
|
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science #11687)
2851463
|
Kim Guldstrand Larsen
Tim Willemse
|
9783030270087 |
2019 |
Contains images
|
|
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings (Lecture Notes in Computer Science #12327)
5886196
|
Maurice H. ter Beek
Dejan Ničković
|
9783030582982 |
2020 |
Contains images
|
|
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science #12863)
4239500
|
Alberto Lluch Lafuente
Anastasia Mavridou
|
9783030852481 |
2021 |
Contains images
|
|
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science #13487)
4856346
|
Marieke Huisman
Jan Friso Groote
|
9783031150081 |
2022 |
Contains images
|
|
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14290)
5934133
|
Alessandro Cimatti
Laura Titolo
|
9783031436819 |
2023 |
Contains images
|
|
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings (Lecture Notes in Computer Science #14952)
6183739
|
Anne E. Haxthausen
Wendelin Serwe
|
9783031681509 |
2024 |
Contains images
|
|
Formal Methods for Managing and Processing Ontology Alignments
6204521
|
Marcin Pietranik
|
9781040133309 |
2025 |
Contains images
|
|
Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)
6535322
|
Lars Lindemann
Dimos V. Dimarogonas
|
9780262382809 |
2025 |
Contains images
|
|
Formal Methods for Multicore Programming
1518294
|
Marco Bernardo
Einar Broch Johnsen
|
9783319189413 |
2015 |
Contains images
|
|
Formal Methods for Safety and Security
1795224
|
Manju Nanda
Yogananda Jeppu
|
9789811041211 |
2018 |
Contains images
|
|
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
5096973
|
Antonio Cerone
Siraj Ahmed Shaikh
Markus Roggenbach
Gerardo Schneider
Bernd-Holger Schlingloff
|
9783030388003 |
2022 |
Contains images
|
|
Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures (Lecture Notes in Computer Science #13490)
5709662
|
Antonio Cerone
|
9783031436789 |
2023 |
Contains images
|
|
Formal Methods for the Analysis of Biomedical Ontologies (Synthesis Lectures on Data, Semantics, and Knowledge)
5054992
|
Guo-Qiang Zhang
Rashmie Abeysinghe
Licong Cui
|
9783031121319 |
2022 |
Contains images
|
|
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
1403347
|
Marco Bernardo
Rocco De Nicola
Jane Hillston
|
9783319340968 |
2016 |
Contains images
|
|
Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Methods in Architecture (5FMA), Lisbon 2020 (Advances in Science, Technology & Innovation)
4519799
|
Sara Eloy
David Leite Viana
Franklim Morais
Jorge Vieira Vaz
|
9783030575090 |
2021 |
Contains images
|
|
Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 (Digital Innovations in Architecture, Engineering and Construction)
5501365
|
David Leite Viana
Franklim Morais
Jorge Vieira Vaz
Plácido Lizancos Mora
|
9789819922178 |
2023 |
Contains images
|
|
Formal Methods in Computer Science (Textbooks In Mathematics Ser.)
5628648
|
Jiacun Wang
|
9781498775359 |
2020 |
Contains images
|
|
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Lecture Notes in Computer Science #13065)
4295303
|
Ezio Bartocci
Martin Leucker
Yliès Falcone
|
9783030873486 |
2021 |
Contains images
|
|
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers (Communications in Computer and Information Science #1301)
3956482
|
Antonio Cerone
Markus Roggenbach
|
9783030713744 |
2021 |
Contains images
|
|
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science #11800)
3356697
|
Maurice H. ter Beek
Annabelle McIver
José N. Oliveira
|
9783030309428 |
2019 |
Contains images
|
|
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science #12232)
3604008
|
Antonio Cerone
Riccardo Guidotti
Martin Kutrib
Emil Sekerinski
José N. Oliveira
Brijesh Dongol
Nelma Moreira
Daniel Ratiu
Marie Farrell
Matt Luckcuck
Diego Marmsoler
José Campos
Troy Astarte
Laure Gonnord
Luis Couto
Pedro Monteiro
David Delmas
|
9783030549947 |
2020 |
Contains images
|
|