Using formal methods to develop an ATC information system
Year: 1996
Type: article
Source: IEEE Software
DOI: 10.1109/52.506463
Author: A. Hall
Institution: Praxis (United Kingdom)
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2020620442