Enforcing Timeliness and Safety in Mission-Critical Systems

Antonio Casimiro, Inês Gouveia, José Rufino. Enforcing Timeliness and Safety in Mission-Critical Systems. In Johann Blieberger, Markus Bader, editors, Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings. Volume 10300 of Lecture Notes in Computer Science, pages 53-69, Springer, 2017. [doi]

Abstract

Abstract is missing.