Probabilistically Analysable Real-Time Systems

Towards a Time-Composable Operating System

Publication Type:

Conference Paper

Source:

18th International Conference on Reliable Software Technologies - Ada-Europe 2013, Berlin, Germany (2013)