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 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
|
Plácido Lizancos Mora
David Leite Viana
Franklim Morais
Jorge Vieira Vaz
|
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
Yliès Falcone
Martin Leucker
|
9783030873486 |
2021 |
Contains images
|
|
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Lecture Notes in Computer Science #11758)
2964907
|
Brijesh Dongol
Luigia Petre
Graeme Smith
|
9783030324414 |
2019 |
Contains images
|
|
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science #14939)
6203625
|
Emil Sekerinski
Leila Ribeiro
|
9783031713798 |
2024 |
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
|
Étienne André
Mariëlle Stoelinga
|
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: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings (Lecture Notes in Computer Science #13465)
4843495
|
Sergiy Bogomolov
David Parker
|
9783031158391 |
2022 |
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
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
|
David N. Jansen
Pavithra Prabhakar
|
9783030001513 |
2018 |
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
|
Roberta Cuel
Robert Young
|
9783319215457 |
2015 |
Contains images
|
|
Formal Specification Level
1379732
|
Mathias Soeken
Rolf Drechsler
|
9783319086996 |
2015 |
Contains images
|
|
Formal SQL Tuning for Oracle Databases
1535169
|
Leonid Nossov
Hanno Ernst
Victor Chupis
|
9783662504178 |
2016 |
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: 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
|
|
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
|
|