A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Mathias Nyman

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

6 Citations (Scopus)

125 Downloads (Pure)

1 Finished

1 results

Filter

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