Formal Methods: State of the Art and New Directions
1418382
|
Jawed Siddiqi
Paul Boca
Jonathan P. Bowen
|
9781848827363 |
2010 |
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 and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings (Lecture Notes in Computer Science #11852)
2975328
|
Yamine Ait-Ameur
Shengchao Qin
|
9783030324094 |
2019 |
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: 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
1534030
|
Shaoying Liu
Mark Lawford
Kazuhiro Ogata
|
9783319478463 |
2016 |
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
|
Kazuhiro Ogata
Dominique Mery
Meng Sun
Shaoying Liu
|
9789819606177 |
2024 |
Contains images
|
|
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings (Lecture Notes in Computer Science #11232)
2333354
|
Jing Sun
Meng Sun
|
9783030024505 |
2018 |
Contains images
|
|
Formal Methods and Software Engineering
1615198
|
Fatiha Zaïdi
Sylvain Conchon
Michael Butler
|
9783319254234 |
2015 |
Contains images
|
|
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science #13478)
5159620
|
Min Zhang
Adrian Riesco
|
9783031172441 |
2022 |
Contains images
|
|
Formal Methods Applied to Complex Systems: Implementation of the B Method (Wiley-iste Ser.)
3294175
|
Jean-Louis Boulanger
|
9781119002925 |
2014 |
Contains images
|
|
Formal Methods Applied to Industrial Complex Systems: Implementation Of The B Method
3294344
|
Jean-Louis Boulanger
|
9781119004776 |
2014 |
Contains images
|
|
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II (Lecture Notes in Computer Science #12233)
3601569
|
Emil Sekerinski
Nelma Moreira
José N. Oliveira
Daniel Ratiu
Riccardo Guidotti
Marie Farrell
Matt Luckcuck
Diego Marmsoler
José Campos
Troy Astarte
Laure Gonnord
Antonio Cerone
Luis Couto
Brijesh Dongol
Martin Kutrib
Pedro Monteiro
David Delmas
|
9783030549978 |
2020 |
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
|
Emil Sekerinski
Nelma Moreira
José N. Oliveira
Daniel Ratiu
Riccardo Guidotti
Marie Farrell
Matt Luckcuck
Diego Marmsoler
José Campos
Troy Astarte
Laure Gonnord
Antonio Cerone
Luis Couto
Brijesh Dongol
Martin Kutrib
Pedro Monteiro
David Delmas
|
9783030549947 |
2020 |
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 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
850204
|
Stefania Gnesi
Tiziana Margaria
|
9781118459874 |
2013 |
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
|
Jan Friso Groote
Marieke Huisman
|
9783031150081 |
2022 |
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 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: 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 Managing and Processing Ontology Alignments
6204521
|
Marcin Pietranik
|
9781040133309 |
2025 |
Contains images
|
|
Formal Methods for Multicore Programming
1518294
|
Einar Broch Johnsen
Marco Bernardo
|
9783319189413 |
2015 |
Contains images
|
|