Closing open SDL-systems for model checking with DTSpin

N. Ioustinova, N. Sidorova, M. Steffen

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

10 Citations (Scopus)

Fingerprint Dive into the research topics of 'Closing open SDL-systems for model checking with DTSpin'. Together they form a unique fingerprint.

Engineering & Materials Science