Towards modular verification of threaded concurrent executable code generated from DSL models

D. Bosnacki, M.G.J. van den Brand, J.M.A.M. Gabriels, B. Jacobs, R. Kuiper, S. Roede, A.J. Wijs, D. Zhang

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Towards modular verification of threaded concurrent executable code generated from DSL models'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science