Using formal methods to develop an ATC information system
- 1 March 1996
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 13 (2) , 66-76
- https://doi.org/10.1109/52.506463
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- A case for structured analysis/formal designPublished by Springer Nature ,1991
- VVSL: A language for structured VDM specificationsFormal Aspects of Computing, 1989