Phil Oh

According to our database, Phil Oh authored at least 1 paper in 2001.

Collaborative distances:

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

2001

Amphion/NAV: Deductive Synthesis of State Estimation Software.

Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001