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: 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 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. 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 Applied to Industrial Complex Systems: Implementation Of The B Method
3294344
|
Jean-Louis Boulanger
|
9781119004776 |
2014 |
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 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: 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 – 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 – 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: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science #14414)
5795023
|
Haniel Barbosa
Yoni Zohar
|
9783031493423 |
2024 |
Contains images
|
|
Formal Methods: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Lecture Notes in Computer Science #13130)
4345550
|
Sérgio Campos
Marius Minea
|
9783030921378 |
2021 |
Contains images
|
|
Formal Methods: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Lecture Notes in Computer Science #12475)
3748001
|
Gustavo Carvalho
Volker Stolz
|
9783030638825 |
2020 |
Contains images
|
|
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science #14000)
5240156
|
Marsha Chechik
Joost-Pieter Katoen
Martin Leucker
|
9783031274817 |
2023 |
Contains images
|
|
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science #10951)
2118987
|
Klaus Havelund
Jan Peleska
Bill Roscoe
Erik De Vink
|
9783319955827 |
2018 |
Contains images
|
|