T. Smith's research while affiliated with University of Huddersfield and other places

Publication (1)

Conference Paper
We summarise FAROAS (Formalisation and Animation of Rules for Oceanic Aircraft Separation), a completed four person-year research project to capture and animate the knowledge-based component of an air traffic control system. The work resulted in a specification and prototype of the rules governing the separation of aircraft in oceanic airspace. The...