Huisman, Marieke.

Overview

Works:	1 works in 8 publications in 1 languages

Titles

Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings / by: International Workshop on Formal Methods for Industrial Critical Systems (2022 :); Groote, Jan Friso.; Huisman, Marieke.; SpringerLink (Online service) (Electronic resources)

Formal methods = 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings / by: International Symposium of Formal Methods Europe (2021 :); Huisman, Marieke.; Pasareanu, Corina.; Zhan, Naijun.; SpringerLink (Online service) (Electronic resources)

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, June 19-23, 2023 : proceedings / by: FORTE Conference (2023 :); Huisman, Marieke.; Ravara, Antonio.; SpringerLink (Online service); International Federated Conferences on Distributed Computing Techniques (2023 :) (Electronic resources)

Fundamental approaches to software engineering = 20th International Conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / by: FASE (Conference) (2017 :); Huisman, Marieke.; Rubin, Julia.; SpringerLink (Online service); ETAPS (Conference) (2017 :) (Electronic resources)

Concise guide to software verification = from model checking to annotation checking / by: Huisman, Marieke.; Wijs, Anton.; SpringerLink (Online service) (Electronic resources)

Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings / by: Abraham, Erika.; Huisman, Marieke.; SpringerLink (Online service) (Electronic resources)

Subjects