Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman, Martin Kristjansen

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

4 Citationer (Scopus)
184 Downloads (Pure)

Søgeresultater