History
1
au:Denman, W*
4


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 4 of 4 total

Towards flight control verification using automated theorem proving. (English)
Bobaru, Mihaela (ed.) et al., NASA formal methods. Third international symposium, NFM 2011, Pasadena, CA, USA, April 18‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20397-8/pbk). Lecture Notes in Computer Science 6617, 89-100 (2011).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
Towards flight control verification using automated theorem proving (English)
NASA Formal Methods, 89-100 (2011).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
Formal verification of analog designs using metitarski (English)
FMCAD, 93-100 (2009).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
Idea analysis: A new approach in using scientific literature (English)
International Journal of Man-Machine Studies 31, No. 5, 573-585 (1989).
WorldCat.org
4
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 | next | last

Result 1 to 4 of 4 total

Valid XHTML 1.0 Transitional Valid CSS!