Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim G. Larsen, Ulrik Nyman

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

7 Citationer (Scopus)

118 Downloads (Pure)

1 resultater

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