Huisman, Marieke.

概要

作品:	1 作品在 8 項出版品 1 種語言

書目資訊

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

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

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: Huisman, Marieke.; SpringerLink (Online service); International Federated Conferences on Distributed Computing Techniques (2023 :); FORTE Conference (2023 :); Ravara, Antonio. (書目-電子資源)

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.; SpringerLink (Online service); ETAPS (Conference) (2017 :); Rubin, Julia. (書目-電子資源)

Concise guide to software verification = from model checking to annotation checking / by: Huisman, Marieke.; Wijs, Anton.; SpringerLink (Online service) (書目-電子資源)

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

主題