Photo of Martin Kristjansen
  • Selma Lagerløfs Vej 300, 1-2-16

    9220 Aalborg Ø

    Denmark

  • Selma Lagerløfs Vej 300, 2-2-59

    9220 Aalborg Ø

    Denmark

20192019
If you made any changes in Pure these will be visible here soon.

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

  • 4 Similar Profiles
Avionics Engineering & Materials Science
Model checking Engineering & Materials Science
Stop watches Engineering & Materials Science
Communication Engineering & Materials Science
Ethernet Engineering & Materials Science
Explosions Engineering & Materials Science
Concretes Engineering & Materials Science
Testing Engineering & Materials Science

Network Dive into details by clicking on the dots.

Research Output 2019 2019

  • 1 Journal article
29 Downloads (Pure)

Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 Nov 2019, In : Journal of Aerospace Information Systems. 16, 11

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Avionics
Model checking
Stop watches
Communication
Ethernet