J. J. Britt

Case study: Applying formal methods to the Traffic Alert and Collision Avoidance System (TCAS) II

J. J. Britt, 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.