Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

  • Jalil Boudjadar*
  • , Alexandre David
  • , Jin Hyun Kim
  • , Kim G. Larsen
  • , Marius Mikucionis
  • , Ulrik Mathias Nyman
  • , Arne Skou
  • *Corresponding author for this work

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

Original languageEnglish
Title of host publication Formal Aspects of Component Software
Number of pages18
PublisherSpringer
Publication dateOct 2013
Pages61-78
Publication statusPublished - Oct 2013
Externally publishedYes
Event10th International Symposium on Formal Aspects of Component Software). - Nanchang, China
Duration: 28 Oct 201330 Oct 2013

Conference

Conference10th International Symposium on Formal Aspects of Component Software).
Country/TerritoryChina
CityNanchang
Period28/10/201330/10/2013
SeriesLecture Notes in Computer Science
Volume8348
ISSN0302-9743

Cite this