IEEE - Institute of Electrical and Electronics Engineers, Inc. - Requirements Analysis of Air Traffic Control System Using Formal Methods

2007 International Conference on Information and Emerging Technologies

Author(s): M. Jamal ; N.A. Zafar
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2007
Conference Location: Karachi, Pakistan
Conference Date: 6 July 2007
Page(s): 1 - 7
ISBN (CD): 978-1-4244-1247-1
ISBN (Paper): 978-1-4244-1246-4
DOI: 10.1109/ICIET.2007.4381340
Regular:

Formal methods is an emerging technology that uses mathematical notations to write precise and unambiguous specifications which makes it possible to prove and analyze certain properties of the... View More

Advertisement