Searching for "Amphion/NAV Deductive Synthesis of State Estimation Software." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Amphion/NAV: Deductive Synthesis of State Estimation Software
by Jon Whittle, Jeffrey Van, Baalen Johann Schumann, Peter Robinson, Tom Pressburger, John Penix, Phil Oh, Michael Lowry, Guillaume Brat — 2001 — In Feather and Goedicke [5
…1 Introduction Amphion/NAV: Deductive Synthesis of State Estimation Software Jon Whittle Jeffrey…
Cited by 11 (5 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB