Travelled to:
1 × USA
Collaborated with:
J.Whittle J.V.Baalen J.Schumann P.Robinson T.Pressburger J.Penix M.R.Lowry G.P.Brat
Talks about:
synthesi (1) softwar (1) amphion (1) deduct (1) state (1) estim (1) nav (1)
Person: Phil Oh
DBLP: Oh:Phil
Contributed to:
Wrote 1 papers:
- ASE-2001-WhittleBSRPPOLB #deduction #estimation #named #synthesis
- Amphion/NAV: Deductive Synthesis of State Estimation Software (JW, JVB, JS, PR, TP, JP, PO, MRL, GPB), pp. 395–399.