Adaptive Task Automata with Earliest-Deadline-First Scheduling

Leo Hatvani, Alexandre David, Cristina Seceleanu, Paul Pettersson

Research output: Contribution to journalConference article in JournalResearchpeer-review

2 Citations (Scopus)
Original languageEnglish
JournalElectronic Communications of the EASST
Volume70
Pages (from-to)1-15
Number of pages15
ISSN1863-2122
Publication statusPublished - 2014
Event14th International Workshop on Automated Verification of Critical Systems - University of Twente, Enschede, Netherlands
Duration: 24 Sept 201426 Sept 2014

Conference

Conference14th International Workshop on Automated Verification of Critical Systems
LocationUniversity of Twente
Country/TerritoryNetherlands
CityEnschede
Period24/09/201426/09/2014

Cite this