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
UdgiverCEUR Workshop Proceedings
Publikationsdato2014
Sider140-147
StatusUdgivet - 2014
Begivenhed - Constantine, Algeriet

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