Marieke Huisman

Identifiers

Open LibraryOL7948113A

Top Subjects

Software engineering (2)
Computer science (1)
Mathematics (1)

Books by Marieke Huisman

Total count: 11

Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesInternational Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Springer London, Limited2005-01-01
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems

Association for Computing Machinery2009-01-01
Integrated Formal Methods12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Springer London, Limited2016-01-01
Fundamental Approaches to Software Engineering20th 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

Springer Berlin / Heidelberg2017-01-01
Tools and Algorithms for the Construction and Analysis of Systems24th International Conference, TACAS 2018, Held as Part of the European Joint ... I

Springer2018-04-12
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASTOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ...

Springer2019-04-04
Formal Methods24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Springer International Publishing AG2021-01-01
Formal Methods for Industrial Critical Systems27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Springer International Publishing AG2022-01-01
Concise Guide to Software VerificationFrom Model Checking to Annotation Checking

Springer International Publishing AG2023-01-01
Formal Techniques for Distributed Objects, Components, and Systems43rd 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

Springer2023-01-01
Tests and Proofs18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Springer2024-01-01