Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III Margaria Tiziana Heftet / 2022 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I Margaria Tiziana Heftet / 2014 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I Margaria Tiziana Heftet / 2022 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II Margaria Tiziana Heftet / 2022 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II Margaria Tiziana Heftet / 2016 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I Margaria Tiziana Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II Margaria Tiziana Heftet / 2010 / Engelsk
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I Margaria Tiziana Heftet / 2010 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I Legay Axel Heftet / 2017 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings Margaria Tiziana Heftet / 2001 / Engelsk
Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings Margaria Tiziana Heftet / 2001 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III Margaria Tiziana Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II Margaria Tiziana Heftet / 2018 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III Margaria Tiziana Heftet / 2020 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II Margaria Tiziana Heftet / 2020 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I Margaria Tiziana Heftet / 2016 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II Margaria Tiziana Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V Margaria Tiziana Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I Margaria Tiziana Heftet / 2012 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I Margaria Tiziana Heftet / 2020 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV Margaria Tiziana Heftet / 2021 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings Margaria Tiziana Heftet / 2021 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV Margaria Tiziana Heftet / 2018 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I Margaria Tiziana Heftet / 2018 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II Legay Axel Heftet / 2017 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV Margaria Tiziana Heftet / 2024 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II Margaria Tiziana Heftet / 2012 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. Margaria Tiziana Heftet / 1996 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings Margaria Tiziana Heftet / 2008 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II Margaria Tiziana Heftet / 2014 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III Margaria Tiziana Heftet / 2018 / Engelsk
Leveraging Applications of Formal Methods, Verification and Validation. Practice 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV Margaria Tiziana Heftet / 2022 / Engelsk
Process Design for Natural Scientists An Agile Model-Driven Approach Lamprecht Anna-Lena Heftet / 2014 / Engelsk
Service-Oriented Computing - ICSOC 2008 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings Bouguettaya Athman Heftet / 2008 / Engelsk
Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings Kofroň, Jan Heftet / 2023 / Engelsk
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday Margaria Tiziana Heftet / 2019 / Engelsk
Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings Abrahamsson Pekka Heftet / 2007 / Engelsk
Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers Margaria Tiziana Heftet / 1998 / Engelsk
Semantic Web Services Challenge Results from the First Year Petrie Charles J. Innbundet / 2008 / Engelsk
Semantic Web Services Challenge Results from the First Year Petrie Charles J. Heftet / 2010 / Engelsk
Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers Hähnle, Reiner Heftet / 2012 / Engelsk
Formal Methods for Industrial Critical Systems A Survey of Applications Gnesi Stefania Heftet / 2013 / Engelsk
