Kurt Jensen

  • Åbogade 34, 5342, 219

    8200 Aarhus N

    Denmark

1978 …2019

Research activity per year

Personal profile

Keywords

  • 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

Fingerprint

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