Amphion/NAV: Deductive Synthesis of State Estimation Software
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat
Amphion/NAV: Deductive Synthesis of State Estimation Software
ASE, 2001.

ASE 2001
DBLP
Scholar
CSDL
Full names Links ISxN
@inproceedings{ASE-2001-WhittleBSRPPOLB,
	author        = "Jon Whittle and Jeffrey Van Baalen and Johann Schumann and Peter Robinson and Thomas Pressburger and John Penix and Phil Oh and Michael R. Lowry and Guillaume P. Brat",
	booktitle     = "{Proceedings of the 16th IEEE International Conference on Automated Software Engineering}",
	ee            = "http://www.computer.org/csdl/proceedings/ase/2001/1426/00/14260395.pdf",
	isbn          = "0-7695-1426-X",
	pages         = "395--399",
	publisher     = "{IEEE Computer Society}",
	title         = "{Amphion/NAV: Deductive Synthesis of State Estimation Software}",
	year          = 2001,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.