Adaptive Task Automata with Earliest-Deadline-First Scheduling

Leo Hatvani, Alexandre David, Cristina Seceleanu, Paul Pettersson

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftElectronic Communications of the EASST
Vol/bind70
Sider (fra-til)1-15
Antal sider15
ISSN1863-2122
StatusUdgivet - 2014
Begivenhed14th International Workshop on Automated Verification of Critical Systems - University of Twente, Enschede, Holland
Varighed: 24 sep. 201426 sep. 2014

Konference

Konference14th International Workshop on Automated Verification of Critical Systems
LokationUniversity of Twente
LandHolland
ByEnschede
Periode24/09/201426/09/2014

Citationsformater