Compositional Schedulability Analysis of An Avionics System Using UPPAAL

Publikation: Forskning - peer reviewKonferenceartikel i proceeding

Detaljer

OriginalsprogEngelsk
TitelProceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014
Antal sider8
Vol/bind1294
ForlagCEUR Workshop Proceedings
Publikationsdato2014
Sider140-147
StatusUdgivet - 2014
PublikationsartForskning
Peer reviewJa
BegivenhedInternational Conference on Advanced Aspects of Software Engineering - Constantine 2 University, Constantine, Algeriet
Varighed: 2 nov. 20144 nov. 2014

Konference

KonferenceInternational Conference on Advanced Aspects of Software Engineering
Lokation Constantine 2 University
LandAlgeriet
ByConstantine
Periode02/11/201404/11/2014

Download-statistik

Ingen data tilgængelig
ID: 204420436