bib.howest.be Zoekresultaten

U zocht naar: Auteur Huisman, Marieke Taal Engels

« Vorige | 1 - 10 van 11 | Volgende »

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

Auteur:: Beyer; Marieke Huisman; Huisman, Marieke
Uitgever:: Springer International Publishing 2018
Type:: 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

Auteur:: Beyer; Marieke Huisman; Huisman, Marieke
Uitgever:: Springer International Publishing 2018
Type:: e-book

3. Integrated Formal Methods

Auteur:: Erika Ábrahám, Marieke Huisman; Huisman, Marieke
Uitgever:: Springer International Publishing 2016
Type:: 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,

Auteur:: Huisman, Marieke.; Ravara, António
Uitgever:: Cham Springer 2023
Type:: e-book

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

Auteur:: Huisman, Marieke.; Howar, Falk
Uitgever:: Cham Springer 2024
Type:: e-book

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

Auteur:: Groote, Jan Friso.; Huisman, Marieke
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

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

Auteur:: Huisman, Marieke.; Păsăreanu, Corina; Zhan, Naijun
Uitgever:: Cham Springer International Publishing AG 2021
Type:: e-book

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

Auteur:: Beyer; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
Uitgever:: Springer International Publishing 2019
Type:: e-book

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

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

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

Auteur:: Marieke Huisman; Wijs, Anton
Uitgever:: Springer Nature (Textbooks & Major Reference Works) 2023
Type:: e-book