Engineering of Software-Intensive Systems

Onderzoeksoutput

Onderzoeksoutput per jaar 2016 2018 2020 2021 2022 2023 2024 2024

• 140 Conferentiebijdrage
• 24 Tijdschriftartikel
• 9 EngD Thesis
• 3 Paper
• 11 Meer
  • 2 Boekredactie
  • 2 Hoofdstuk
  • 2 Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
  • 1 Boek
  • 1 Inaugurale/afscheids rede
  • 1 Voorwoord/editorial
  • 1 Abstract
  • 1 Preprint

Onderzoeksoutput per jaar

Onderzoeksoutput per jaar

Zoekresultaten

• 2023

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

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

  Onderzoeksoutput: Boek/rapport › Boek › Academic

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