John Rushby. Trustworthy Self-Integrating Systems. In Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida, editors, Distributed Computing and Internet Technology - 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings. Volume 9581 of Lecture Notes in Computer Science, pages 19-29, Springer, 2016. [doi]
Abstract is missing.