Skip to content. | Skip to navigation

Personal tools
Sections

M.Sc. Tom Warnke

M.Sc. Tom Warnke
Albert-Einstein-Straße 22
Office 229

Rostock , Germany 18059

Research

Some of my research interests are:

  • Model analysis languages
  • Statistical Model Checking
  • Spatial Models