Adaptive Task Automata with Earliest-Deadline-First Scheduling

Leo Hatvani, Alexandre David, Cristina Seceleanu, Paul Pettersson

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Electronic Communications of the EASST
Vol/bind	70
Sider (fra-til)	1-15
Antal sider	15
ISSN	1863-2122
Status	Udgivet - 2014
Begivenhed	14th International Workshop on Automated Verification of Critical Systems - University of Twente, Enschede, Holland Varighed: 24 sep. 2014 → 26 sep. 2014

Konference	14th International Workshop on Automated Verification of Critical Systems
Lokation	University of Twente
Land/Område	Holland
By	Enschede
Periode	24/09/2014 → 26/09/2014

Adgang til dokumentet

@inproceedings{5aa087dd302946a18e224ac273d72550,

title = "Adaptive Task Automata with Earliest-Deadline-First Scheduling",

author = "Leo Hatvani and Alexandre David and Cristina Seceleanu and Paul Pettersson",

year = "2014",

language = "English",

volume = "70",

pages = "1--15",

journal = "Electronic Communications of the EASST",

issn = "1863-2122",

publisher = "European Association of Software Science and Technology",

note = "14th International Workshop on Automated Verification of Critical Systems, AVOCS ; Conference date: 24-09-2014 Through 26-09-2014",

}

TY - GEN

T1 - Adaptive Task Automata with Earliest-Deadline-First Scheduling

AU - Hatvani, Leo

AU - David, Alexandre

AU - Seceleanu, Cristina

AU - Pettersson, Paul

PY - 2014

Y1 - 2014

M3 - Conference article in Journal

SN - 1863-2122

VL - 70

SP - 1

EP - 15

JO - Electronic Communications of the EASST

JF - Electronic Communications of the EASST

T2 - 14th International Workshop on Automated Verification of Critical Systems

Y2 - 24 September 2014 through 26 September 2014

ER -