Probabilistically Analysable Real-Time Systems

PROARTIS paper for Ada-Europe 2013

Wed, 2013-02-13

 

Congratulations to Andrea Baldovin, Enrico Mezzetti and Tullio Vardanega on the news of their Ada-Europe success.

“Towards a Time-Composable Operating System” will be presented at the 18th International Conference on Reliable Software Technologies - Ada-Europe 2013.

Ada-Europe 2013 takes place from 10-14 June 2013, in Berlin, Germany.