Model-based optimization of ARINC-653 partition scheduling

Pujie Han^*, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman

^*Corresponding author for this work

Research output: Contribution to journal › Journal article › Research › peer-review

2 Citations (Scopus)

71 Downloads (Pure)

1 results

Finished
Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems
Nyman, U., Nielsen, B., Thi Xuan Phan, L., Lee, I., Legay, A., Boudjadar, J. & Kim, J. H.
Independent Research Fund Denmark | Technology and Production sciences
01/08/2017 → 31/07/2021
Project: Other