Algorithms and Logics for Verification

Research output

Content available in repository 2012 2023 2024 2025

• 58 Conference contribution
• 26 Article
• 8 Book editing
• 6 Chapter
• 23 More
  • 5 Software
  • 4 Foreword/editorial
  • 3 Phd Thesis 1 (Research TU/e / Graduation TU/e)
  • 3 EngD Thesis
  • 3 Preprint
  • 2 Conference article
  • 1 Report
  • 1 Editorial
  • 1 Working paper

Content available in repository

Content available in repository

Search results

• 2022

  Formal methods and tools for industrial critical systems

  ter Beek, M. H. (Corresponding author), Larsen, K. G., Ničković, D. & Willemse, T. A. C., Jun 2022, In: International Journal on Software Tools for Technology Transfer. 24, 3, p. 325-330 6 p.

  Research output: Contribution to journal › Editorial › Academic › peer-review

  Open Access

  File

  • Methods and Tool 100%
  • Critical System 100%
  • Formal Method 100%
  • Automotives 25%
  • Railway 25%
  11 Citations (Scopus)

  36 Downloads (Pure)