The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - March (1996 vol.13)
pp: 66-76
ABSTRACT
<p>Can formal methods be a part of large-system development? The project teams at Praxis used a combination of formal methods to help specify, design, and verify CDIS, a large information-display system within an ATC-support system. Their project suggests that it can be practicable <it>and</it> beneficial.</p>
CITATION
Anthony Hall, "Using Formal Methods to Develop an ATC Information System", IEEE Software, vol.13, no. 2, pp. 66-76, March 1996, doi:10.1109/52.506463
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool