Martin Kristjansen – Publications — Aalborg University's Research Portal

View Scopus Profile

Phone9940 7778
Emailmkcs.aaudk

Selma Lagerløfs Vej 300, 2-2-59
9220 Aalborg Ø
Denmark

Research activity per year

3 Article in proceeding
1 Journal article

1 results

Filter

Journal article
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 journal › Journal article › Research › peer-review

Open Access
File
4 Citations (Scopus)

176 Downloads (Pure)