IEEE - Institute of Electrical and Electronics Engineers, Inc. - Specifying, validating, and testing a traffic management system in the TRIO environment

Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96

Author(s): Gargantini, A. ; Liberati, L. ; Morzenti, A. ; Zacchetti, C.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Gaithersburg, MD, USA, USA
Conference Date: 17 June 1996
Page(s): 65 - 76
ISBN (Paper): 0-7803-3390-X
DOI: 10.1109/CMPASS.1996.507876
Regular:

Reports on an experience in applying a formal method to the specification and design of a system for monitoring and controlling surface vehicle traffic in a densely populated urban area. This... View More

Advertisement