Compositional Schedulability Analysis of An Avionics System Using UPPAAL

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

8 Citations (Scopus)
318 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014
Number of pages8
Volume1294
PublisherCEUR Workshop Proceedings
Publication date2014
Pages140-147
Publication statusPublished - 2014
EventInternational Conference on Advanced Aspects of Software Engineering - Constantine 2 University, Constantine, Algeria
Duration: 2 Nov 20144 Nov 2014

Conference

ConferenceInternational Conference on Advanced Aspects of Software Engineering
Location Constantine 2 University
Country/TerritoryAlgeria
CityConstantine
Period02/11/201404/11/2014

Cite this