Kenneth Yrke Jørgensen

Special Consultant, Computer Science

  • Selma Lagerløfs Vej 300

    9220 Aalborg Øst

    Denmark

20092022

Research activity per year

Personal profile

Keywords

  • Computer Science
  • Model Checking
  • Model transformation
  • Discrete time verification
  • Timed-Arc Petri Nets
  • Timed Automata

Fingerprint

The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
  • 1 Similar Profiles

Collaborations from the last five years

Dive into details by clicking on the dots.