Compositional Schedulability Analysis of An Avionics System Using UPPAAL

Publikation: Forskning - peer reviewKonferenceartikel i proceeding

Standard

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: Forskning - peer reviewKonferenceartikel i proceeding

Harvard

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.

APA

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.

CBE

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. CEUR Workshop Proceedings. s. 140-147.

MLA

Boudjadar, Jalil o.a.. "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. CEUR Workshop Proceedings. 2014. 140-147.

Vancouver

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.

Author

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

Bibtex

@inbook{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",
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",

}

RIS

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 -

ID: 204420436