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]

Authors

Antonio Casimiro

This author has not been identified. Look up 'Antonio Casimiro' in Google

Inês Gouveia

This author has not been identified. Look up 'Inês Gouveia' in Google

José Rufino

This author has not been identified. Look up 'José Rufino' in Google