Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings - Blieberger, Johann; Bader, Markus; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Runtimes -- Safety and security -- Timing verification -- Programming models -- The future of safety-minded languages -- Mixed criticality.
Keywords: Programming languages (Electronic computers).; Software engineering; Special purpose computers; Computer logic; Operating systems (Computers).; Programming Languages, Compilers, Interpreters; Software Engineering; Special Purpose and Application-Based Systems; Logics and Meanings of Programs; Operating Systems