loading...
Amphion/NAV: Deductive Synthesis of State Estimation Software
San Diego, California November 26-November 29
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2001.98983716th IEEE International Conference on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Tom Pressburger, John Penix, Phil Oh, Michael Lowry, Guillaume Brat, "Amphion/NAV: Deductive Synthesis of State Estimation Software," Automated Software Engineering, International Conference on, pp. 395, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2001.989837,
author = {Jon Whittle and Jeffrey Van Baalen and Johann Schumann and Peter Robinson and Tom Pressburger and John Penix and Phil Oh and Michael Lowry and Guillaume Brat},
title = {Amphion/NAV: Deductive Synthesis of State Estimation Software},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1426-X},
pages = {395},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989837},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Automated Software Engineering, International Conference on
TI - Amphion/NAV: Deductive Synthesis of State Estimation Software
SN - 0-7695-1426-X
SP
EP
A1 - Jon Whittle,
A1 - Jeffrey Van Baalen,
A1 - Johann Schumann,
A1 - Peter Robinson,
A1 - Tom Pressburger,
A1 - John Penix,
A1 - Phil Oh,
A1 - Michael Lowry,
A1 - Guillaume Brat,
PY - 2001
VL - 0
JA - Automated Software Engineering, International Conference on
ER -
 
Jon Whittle, NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Jeffrey Van Baalen, NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Johann Schumann, NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Peter Robinson, NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Tom Pressburger, NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
John Penix, NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Phil Oh, NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Michael Lowry, NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Guillaume Brat, NASA, QSS, RIACS, Kestrel Tech., U. Wyoming, NASA Ames Research Center
Citation:
Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Tom Pressburger, John Penix, Phil Oh, Michael Lowry, Guillaume Brat, "Amphion/NAV: Deductive Synthesis of State Estimation Software," ase, pp.395, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions