Neale L. Fulton

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Clustering Method

Verification Method

Top Venues

Publications

Dongxi Liu, Neale L. Fulton, John Zic, Martin de Groot
Verifying an Aircraft Proximity Characterization Method in Coq. ICFEM (2013)