%0 Conference Paper %1 conf/icaase/BoudjadarKLN14 %A Boudjadar, Abdeldjalil %A Kim, Jin Hyun %A Larsen, Kim Guldstrand %A Nyman, Ulrik %B ICAASE %D 2014 %E Sahnoun, Zaïdi %I CEUR-WS.org %K dblp %P 140-147 %T Compositional Schedulability Analysis of An Avionics System Using UPPAAL. %U http://dblp.uni-trier.de/db/conf/icaase/icaase2014.html#BoudjadarKLN14 %V 1294

@inproceedings{conf/icaase/BoudjadarKLN14, added-at = {2023-03-10T00:00:00.000+0100}, author = {Boudjadar, Abdeldjalil and Kim, Jin Hyun and Larsen, Kim Guldstrand and Nyman, Ulrik}, biburl = {https://www.bibsonomy.org/bibtex/2e4d1365987571a452623a337f5c2615b/dblp}, booktitle = {ICAASE}, crossref = {conf/icaase/2014}, editor = {Sahnoun, Zaïdi}, ee = {https://ceur-ws.org/Vol-1294/paper16.pdf}, interhash = {02bd22122f34996d042762746822dc2d}, intrahash = {e4d1365987571a452623a337f5c2615b}, keywords = {dblp}, pages = {140-147}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T00:25:13.000+0200}, title = {Compositional Schedulability Analysis of An Avionics System Using UPPAAL.}, url = {http://dblp.uni-trier.de/db/conf/icaase/icaase2014.html#BoudjadarKLN14}, volume = 1294, year = 2014 }