A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

Pujie Han
, Zhengjun Zhai
, Brian Nielsen
, Ulrik Nyman

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

7 Citationer (Scopus)

284 Downloads (Pure)

1 Afsluttet

1 resultater

Afsluttet
Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems
Nyman, U. (PI (principal investigator)), Nielsen, B. (Andet), Thi Xuan Phan, L. (Projektdeltager), Lee, I. (Projektdeltager), Legay, A. B. E. (Projektdeltager), Boudjadar, J. (Kontaktperson) & Kim, J. H. (Kontaktperson)
Danmarks Frie Forskningsfond | Teknologi og Produktion
01/08/2017 → 31/07/2021
Projekter: Projekt › Andet