Kurt Jensen

  • Åbogade 34, 5342, 219

    8200 Aarhus N


1978 …2019

Research activity per year

Personal profile


  • Model-driven systems development
  • Modelling and validation of distributed systems
  • Coloured Petri Nets
  • Simulation and analysis tools
  • Experimental systems development
  • Capacity planning
  • Programming languages and formal models
  • Software specification and verification


Dive into the research topics where Kurt Jensen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles