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: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14933)
6212980
|
Matteo Rossi
André Platzer
Kristin Yvonne Rozier
Matteo Pradella
|
9783031711626 |
2025 |
Contains images
|
|
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14934)
6174410
|
Matteo Rossi
Kristin Yvonne Rozier
Andre Platzer
Matteo Pradella
|
9783031711770 |
2025 |
Contains images
|
|
Formal Methods: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings (Lecture Notes in Computer Science #15403)
6309079
|
Sidney C. Nogueira
Ciprian Teodorov
|
9783031781162 |
2025 |
Contains images
|
|
Formal Methods: Foundations and Applications
1532594
|
Thierry Lecomte
Leila Ribeiro
|
9783319498157 |
2016 |
Contains images
|
|
Formal Methods: State of the Art and New Directions
1418382
|
Jawed Siddiqi
Paul Boca
Jonathan P. Bowen
|
9781848827363 |
2010 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems
1403350
|
Martin Fränzle
Nicolas Markey
|
9783319448787 |
2016 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings (Lecture Notes in Computer Science #11022)
2240022
|
Pavithra Prabhakar
David N. Jansen
|
9783030001513 |
2018 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings (Lecture Notes in Computer Science #11750)
2888988
|
Mariëlle Stoelinga
Étienne André
|
9783030296629 |
2019 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings (Lecture Notes in Computer Science #12288)
3935016
|
Nathalie Bertrand
Nils Jansen
|
9783030576288 |
2020 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems: 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science #12860)
4236866
|
Catalin Dima
Mahsa Shirmohammadi
|
9783030850371 |
2021 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings (Lecture Notes in Computer Science #13465)
4843495
|
David Parker
Sergiy Bogomolov
|
9783031158391 |
2022 |
Contains images
|
|
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings (Lecture Notes in Computer Science #14138)
5615590
|
Laure Petrucci
Jeremy Sproston
|
9783031426261 |
2023 |
Contains images
|
|
Formal Ontologies Meet Industry
1366886
|
Robert Young
Roberta Cuel
|
9783319215457 |
2015 |
Contains images
|
|
Formal SQL Tuning for Oracle Databases
1535169
|
Leonid Nossov
Hanno Ernst
Victor Chupis
|
9783662504178 |
2016 |
Contains images
|
|
Formal Specification Level
1379732
|
Rolf Drechsler
Mathias Soeken
|
9783319086996 |
2015 |
Contains images
|
|
Formal System Verification
1650910
|
Rolf Drechsler
|
9783319576855 |
2015 |
Contains images
|
|
Formal Techniques for Distributed Objects, Components, and Systems
1403349
|
Elvira Albert
Ivan Lanese
|
9783319395708 |
2016 |
Contains images
|
|
Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6. 1 International Conference, Forte 2018, Held As Part Of The 13th International Federated Conference On Distributed Computing Techniques, Discotec 2018, Madrid, Spain, June 18-21, 2018, Proceedings (Theoretical Computer Science and General Issues #10854)
2333849
|
Christel Baier
Luís Caires
|
9783319926124 |
2018 |
Contains images
|
|
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings (Lecture Notes in Computer Science #11535)
2720571
|
Jorge A. Pérez
Nobuko Yoshida
|
9783030217594 |
2019 |
Contains images
|
|
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings (Lecture Notes in Computer Science #12136)
3558706
|
Alexey Gotsman
Ana Sokolova
|
9783030500863 |
2020 |
Contains images
|
|
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings (Lecture Notes in Computer Science #12719)
4053290
|
Kirstin Peters
Tim A. C. Willemse
|
9783030780890 |
2021 |
Contains images
|
|
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings (Lecture Notes in Computer Science #13273)
4670740
|
Mohammad Reza Mousavi
Anna Philippou
|
9783031086793 |
2022 |
Contains images
|
|
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings (Lecture Notes in Computer Science #13910)
5388535
|
António Ravara
Marieke Huisman
|
9783031353550 |
2023 |
Contains images
|
|
Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings (Lecture Notes in Computer Science #14678)
6058453
|
Valentina Castiglioni
Adrian Francalanza
|
9783031626456 |
2024 |
Contains images
|
|