bib.howest.be Search Results

You searched for: Auteur Huisman, Marieke

« Previous | 1 - 10 of 11 | Next »

1. Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedi

Author:: Beyer; Marieke Huisman; Huisman, Marieke
Publisher:: Springer International Publishing 2018
Format:: e-book

2. Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedi

Author:: Beyer; Marieke Huisman; Huisman, Marieke
Publisher:: Springer International Publishing 2018
Format:: e-book

3. Integrated Formal Methods

Author:: Erika Ábrahám, Marieke Huisman; Huisman, Marieke
Publisher:: Springer International Publishing 2016
Format:: e-book

4. 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,

Author:: Huisman, Marieke.; Ravara, António
Publisher:: Cham Springer 2023
Format:: e-book

5. Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Author:: Huisman, Marieke.; Howar, Falk
Publisher:: Cham Springer 2024
Format:: e-book

6. Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Author:: Groote, Jan Friso.; Huisman, Marieke
Publisher:: Cham Springer International Publishing AG 2022
Format:: e-book

7. Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Author:: Huisman, Marieke.; Păsăreanu, Corina; Zhan, Naijun
Publisher:: Cham Springer International Publishing AG 2021
Format:: e-book

8. Tools and Algorithms for the Construction and Analysis of Systems

Author:: Beyer; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
Publisher:: Springer International Publishing 2019
Format:: e-book

9. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Author:: Barthe, Gilles; Burdy, Lilian; Huisman, Marieke; Kanade, Takeo; Lanet, Jean-Louis; Muntean, Traian
Publisher:: Springer Berlin / Heidelberg 2005
Format:: e-book

10. Concise Guide to Software Verification: From Model Checking to Annotation Checking

Author:: Marieke Huisman; Wijs, Anton
Publisher:: Springer Nature (Textbooks & Major Reference Works) 2023
Format:: e-book