Compositional Schedulability Analysis of An Avionics System Using UPPAAL

Jalil Boudjadar, Kim Guldstrand Larsen, Jin Hyun Kim, Ulrik Nyman

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

4 Citationer (Scopus)
242 Downloads (Pure)
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
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

Citer dette

Boudjadar, J., Larsen, K. G., Kim, J. H., & Nyman, U. (2014). Compositional Schedulability Analysis of An Avionics System Using UPPAAL. I Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014 (Bind 1294, s. 140-147). CEUR Workshop Proceedings.
Boudjadar, Jalil ; Larsen, Kim Guldstrand ; Kim, Jin Hyun ; Nyman, Ulrik. / Compositional Schedulability Analysis of An Avionics System Using UPPAAL. Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. Bind 1294 CEUR Workshop Proceedings, 2014. s. 140-147
@inproceedings{748cd13d5a034afbaa5a3f13998c25f0,
title = "Compositional Schedulability Analysis of An Avionics System Using UPPAAL",
author = "Jalil Boudjadar and Larsen, {Kim Guldstrand} and Kim, {Jin Hyun} and Ulrik Nyman",
year = "2014",
language = "English",
volume = "1294",
pages = "140--147",
booktitle = "Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014",
publisher = "CEUR Workshop Proceedings",

}

Boudjadar, J, Larsen, KG, Kim, JH & Nyman, U 2014, Compositional Schedulability Analysis of An Avionics System Using UPPAAL. i Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. bind 1294, CEUR Workshop Proceedings, s. 140-147, Constantine, Algeriet, 02/11/2014.

Compositional Schedulability Analysis of An Avionics System Using UPPAAL. / Boudjadar, Jalil; Larsen, Kim Guldstrand; Kim, Jin Hyun; Nyman, Ulrik.

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. Bind 1294 CEUR Workshop Proceedings, 2014. s. 140-147.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Compositional Schedulability Analysis of An Avionics System Using UPPAAL

AU - Boudjadar, Jalil

AU - Larsen, Kim Guldstrand

AU - Kim, Jin Hyun

AU - Nyman, Ulrik

PY - 2014

Y1 - 2014

M3 - Article in proceeding

VL - 1294

SP - 140

EP - 147

BT - Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014

PB - CEUR Workshop Proceedings

ER -

Boudjadar J, Larsen KG, Kim JH, Nyman U. Compositional Schedulability Analysis of An Avionics System Using UPPAAL. I Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. Bind 1294. CEUR Workshop Proceedings. 2014. s. 140-147