Paper Info
Title
Verification of Airport Control Using Lisp Functional Language
Abstract
Formal languages are used in symbolic computations, because the formal languages are accurate in semantic and syntax. Formal languages are used to describe vital systems such as airspace control. This paper describes a verification of the airspace available in Software Engineering Somerville, a formal model of critical operations and workflows, in the Lisp programming language. In functional langu...
Year
DOI
Venue
2020
10.1109/DeSE51703.2020.9450787
2020 13th International Conference on Developments in eSystems Engineering (DeSE)
Keywords
DocType
ISBN
Computer languages,Atmospheric modeling,Computational modeling,Semantics,Syntactics,Airports,Software
Conference
978-1-6654-2238-3
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Shiva Asadianfam100.34
Hoshang Kolivand200.68