Model Checking Software
1398927
|
Bernd Fischer
Jaco Geldenhuys
|
9783319234045 |
2015 |
Contains images
|
|
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings (Lecture Notes in Computer Science #10869)
2118648
|
María Del Gallardo
Pedro Merino
|
9783319941110 |
2018 |
Contains images
|
|
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Lecture Notes in Computer Science #12864)
4215666
|
Alfons Laarman
Ana Sokolova
|
9783030846299 |
2021 |
Contains images
|
|
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (Lecture Notes in Computer Science #14624)
6213802
|
Thomas Neele
Anton Wijs
|
9783031661495 |
2025 |
Contains images
|
|
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science #13255)
5033753
|
Grigore Rosu
Owolabi Legunsen
|
9783031150777 |
2022 |
Contains images
|
|
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Lecture Notes in Computer Science #13030)
4368891
|
Ernst-Rüdiger Olderog
Bernhard Steffen
Wang Yi
|
9783030913847 |
2021 |
Contains images
|
|
Model Choice in Nonnested Families
1535579
|
Basilio De Pereira
Carlos Alberto Pereira
|
9783662537367 |
2016 |
Contains images
|
|
Model-Driven and Software Product Line Engineering
851442
|
Jean-Claude Royer
Hugo Arboleda
|
9781118569733 |
2012 |
Contains images
|
|
Model-Driven Dependability Assessment of Software Systems
1402264
|
Simona Bernardi
José Merseguer
Dorina Corina Petriu
|
9783642395123 |
2013 |
Contains images
|
|
Model-Driven Design Using IEC 61499
1404236
|
Li Hsien Yoong
Partha S. Roop
Zeeshan E. Bhatti
Matthew M. Y. Kuo
|
9783319105215 |
2015 |
Contains images
|
|
Model-Driven Development and Operation of Multi-Cloud Applications
1530715
|
Elisabetta Nitto
Peter Matthews
Dana Petcu
Arnor Solberg
|
9783319460314 |
2017 |
Contains images
|
|
Model-Driven Development of Akoma Ntoso Application Profiles: A Conceptual Framework for Model-Based Generation of XML Subschemas
5158885
|
Amelie Flatt
Arne Langner
Olof Leps
|
9783031141324 |
2022 |
Contains images
|
|
Model Driven Engineering and Ontology Development
667025
|
Dragan Djuric
Dragan Gaševic
Jean Bézivin
Vladan Devedžic
Bran V. Selic
|
9783642002823 |
2009 |
Contains images
|
|
Model-Driven Engineering and Software Development
1418545
|
Philippe Desfray
Joaquim Filipe
Slimane Hammoudi
Luís Ferreira Pires
|
9783319278698 |
2015 |
Contains images
|
|
Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19–21, 2023, Revised Selected Papers (Communications in Computer and Information Science #2106)
6204529
|
Francisco José Domínguez Mayo
Luís Ferreira Pires
Edwin Seidewitz
|
9783031663390 |
2024 |
Contains images
|
|
Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers (Communications in Computer and Information Science #1161)
3022767
|
Slimane Hammoudi
Luís Ferreira Pires
Bran Selić
|
9783030378738 |
2020 |
Contains images
|
|
Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers (Communications in Computer and Information Science #1361)
3905443
|
Slimane Hammoudi
Luís Ferreira Pires
Bran Selić
|
9783030674458 |
2021 |
Contains images
|
|
Model-Driven Engineering and Software Development: 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers (Communications in Computer and Information Science #991)
2403926
|
Slimane Hammoudi
Luís Ferreira Pires
Bran Selic
|
9783030110307 |
2019 |
Contains images
|
|
Model-Driven Engineering and Software Development
1718816
|
Slimane Hammoudi
Luís Ferreira Pires
Bran Selic
Philippe Desfray
|
9783319663029 |
2017 |
Contains images
|
|
Model-Driven Engineering and Software Development: 9th International Conference, MODELSWARD 2021, Virtual Event, February 8–10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers (Communications in Computer and Information Science #1708)
5512115
|
Luís Ferreira Pires
Slimane Hammoudi
Edwin Seidewitz
|
9783031388217 |
2023 |
Contains images
|
|
Model-Driven Engineering and Software Development: 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers (Communications in Computer and Information Science #880)
2118846
|
Luís Ferreira Pires
Slimane Hammoudi
Bran Selic
|
9783319947648 |
2018 |
Contains images
|
|
Model-Driven Engineering and Software Development
1615181
|
Rui César das Neves
Joaquim Filipe
Luís Ferreira Pires
Slimane Hammoudi
|
9783319251561 |
2015 |
Contains images
|
|
Model-Driven Organizational and Business Agility: Second International Workshop, MOBA 2022, Leuven, Belgium, June 6–7, 2022, Revised Selected Papers (Lecture Notes in Business Information Processing #457)
5042299
|
Eduard Babkin
Joseph Barjis
Pavel Malyzhenkov
Vojtěch Merunka
|
9783031177286 |
2022 |
Contains images
|
|
Model-Driven Organizational and Business Agility: Third International Workshop, MOBA 2023, Zaragoza, Spain, June 12–13, 2023, Revised Selected Papers (Lecture Notes in Business Information Processing #488)
5709723
|
Eduard Babkin
Joseph Barjis
Pavel Malyzhenkov
Vojtěch Merunka
Martin Molhanec
|
9783031450105 |
2023 |
Contains images
|
|
Model-Driven Risk Analysis: The CORAS Approach
1414892
|
Bjørnar Solhaug
Ketil Stølen
Mass Soldal Lund
|
9783642123238 |
2011 |
Contains images
|
|