Neale Leslie Fulton

According to our database, Neale Leslie Fulton authored at least 2 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Verifying an Aircraft Proximity Characterization Method in Coq.

Dongxi Liu, Neale Leslie Fulton, John Zic, Martin de Groot

Proceedings of the Formal Methods and Software Engineering, 2013

2011

Specific Length Trajectories Optimised for Maximum Acceleration using Conic Parameterised Clothoids.

Galen Brambley, Neale Leslie Fulton

IEEE Trans. Aerosp. Electron. Syst., 2011