Engineering of Software-Intensive Systems

Research output

Content available in repository 2016 2021 2022 2023 2024 2025

• 148 Conference contribution
• 32 Article
• 9 EngD Thesis
• 3 Book editing
• 12 More
  • 2 Chapter
  • 2 Phd Thesis 1 (Research TU/e / Graduation TU/e)
  • 1 Book
  • 1 Inaugural/farewell speech
  • 1 Foreword/editorial
  • 1 Abstract
  • 1 Paper
  • 1 Review article
  • 1 Software
  • 1 Preprint

Content available in repository

Content available in repository

Search results

• 2023

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

  Huisman, M. & Wijs, A., 2023, Springer. 234 p. (Texts in Computer Science)

  Research output: Book/Report › Book › Academic

  • Annotation 100%
  • Software Verification 100%
  • Model Checking 100%