A graphical approach to component-based and extensible model checking platforms

M. Westergaard, L.M. Kristensen

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Fingerprint

Dive into the research topics of 'A graphical approach to component-based and extensible model checking platforms'. Together they form a unique fingerprint.

Engineering & Materials Science