Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Variations of model checking
D.N. Jansen
Research output
:
Contribution to conference
›
Poster
›
Academic
11
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Variations of model checking'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Model Checking
100%
Models
50%
class diagram
50%
Statecharts
50%
model checker
50%