Eno Siewerdt. Safety-Critical Systems in Air Traffic Management. In Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr., editors, Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings. Volume 2847 of Lecture Notes in Computer Science, pages 2-3, Springer, 2003. [doi]
Abstract is missing.