D. N. Jansen

Probabilistic UML statecharts for specification and verification: a case study

D. N. Jansen, 2002 .

The Impact Of GSM-R On Railway Capacity

D. N. Jansen, S. G. Klabes, E. Wendler, 2010 .

Variations of model checking

D. N. Jansen, D. Jansen, 2002 .

The Impact Of GSM-R On Railway Capacity

D. N. Jansen, S. G. Klabes, E. Wendler, 2008 .

Model checking at the requirements level: research abstract

D. N. Jansen, 2001 .

Belief Bisimulation for Hidden Markov Models

Flemming Nielson, D. N. Jansen, F. Nielson, 2012 .