Application of Formal Safety Assessment on planning VTS

Yao-Tian Fan, Jie Wang. Application of Formal Safety Assessment on planning VTS. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008. pages 2207-2212, IEEE, 2008. [doi]

Abstract

Abstract is missing.