David N. Jansen

Research output

Research output per year 2000 2002 2005 2015

• 14 Conference contribution
• 6 Report
• 5 Article
• 2 Paper
• 3 More
  • 2 PhD Thesis - Research UT, graduation UT
  • 1 Poster

Research output per year

Research output per year

Search results

• 2002

  Variations of model checking

  Jansen, D. N., 2002. 8 p.

  Research output: Contribution to conference › Poster › Academic

  Open Access

  File

  • Model Checking 100%
  • Models 50%
  • class diagram 50%
  • Statecharts 50%
  • model checker 50%
  20 Downloads (Pure)