Probabilistically Analysable Real-Time Systems

A Time-composable Operating System

Publication Type:

Conference Paper

Source:

12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012), OASIcs, Volume 12th International Workshop on Worst-Case Execution Time Analysis (WCET 2012):69-80, June 2012 (2012)

ISBN:

978-3-939897-41-5

Other Number:

ISSN 2190-6807