Enrico Mezzetti, Marco Panunzio, Tullio Vardanega. Preservation of Timing Properties with the Ada Ravenscar Profile. In Jorge Real, Tullio Vardanega, editors, Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings. Volume 6106 of Lecture Notes in Computer Science, pages 153-166, Springer, 2010. [doi]
Abstract is missing.