Guidance and control software /
| Corporate Author: | North Atlantic Treaty Organization. Advisory Group for Aerospace Research and Development. Guidance and Control Panel |
|---|---|
| Other Authors: | Urban, L. J. |
| Format: | Book |
| Language: | English |
| Published: |
Neuilly sur Seine, France :
North Atlantic Treaty Organization, Advisory Group for Aerospace Research and Development,
1980.
|
| Series: | AGARDograph ;
no. 258. |
| Subjects: |
Similar Items
Software engineering : analysis and verification /
by: Lewis, T. G. (Theodore Gyle), 1941-
Published: (1982)
by: Lewis, T. G. (Theodore Gyle), 1941-
Published: (1982)
Software configuration management : an investment in product integrity /
by: Bersoff, Edward H.
Published: (1980)
by: Bersoff, Edward H.
Published: (1980)
Software verification and validation : realistic project approaches /
by: Deutsch, Michael S.
Published: (1982)
by: Deutsch, Michael S.
Published: (1982)
Software engineering reviews and audits /
by: Summers, Boyd L.
Published: (2011)
by: Summers, Boyd L.
Published: (2011)
Software engineering reviews and audits /
by: Summers, Boyd L.
Published: (2011)
by: Summers, Boyd L.
Published: (2011)
Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 /
Published: (1984)
Published: (1984)
Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings /
Published: (2008)
Published: (2008)
Practical UVM : step by step with IEEE 1800.2 /
by: Vasudevan, Srivatsa
Published: (2020)
by: Vasudevan, Srivatsa
Published: (2020)
Programming logics : an introduction to verification and semantics /
by: Gumb, Raymond D.
Published: (1989)
by: Gumb, Raymond D.
Published: (1989)
Verifiable programming /
by: Dahl, Ole-Johan, 1931-
Published: (1992)
by: Dahl, Ole-Johan, 1931-
Published: (1992)
Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
Published: (2004)
Published: (2004)
Formal methods of program verification and specification /
Published: (1982)
Published: (1982)
The foundations of program verification /
by: Loeckx, Jacques, 1931-
Published: (1984)
by: Loeckx, Jacques, 1931-
Published: (1984)
An introduction to formal program verification /
by: Mili, Ali
Published: (1985)
by: Mili, Ali
Published: (1985)
The foundations of program verification /
by: Loeckx, Jacques, 1931-
Published: (1987)
by: Loeckx, Jacques, 1931-
Published: (1987)
The UVM primer : an introduction to the Universal Verification Methodology /
by: Salemi, Ray
Published: (2013)
by: Salemi, Ray
Published: (2013)
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
Published: (2007)
Published: (2007)
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
Published: (2006)
Published: (2006)
Air Force software sustainment and maintenance of weapons systems /
Published: (2020)
Published: (2020)
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
Published: (2002)
Published: (2002)
Computers in the guidance and control of aerospace vehicles /
Published: (1972)
Published: (1972)
Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Published: (2007)
Published: (2007)
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /
Published: (2005)
Published: (2005)
Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /
Published: (2003)
Published: (2003)
Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Published: (2007)
Published: (2007)
Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
Published: (2010)
Published: (2010)
Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /
Published: (2008)
Published: (2008)
Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings /
Published: (2004)
Published: (2004)
Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings /
Published: (2009)
Published: (2009)
Verification of object-oriented software : the KeY approach /
Published: (2007)
Published: (2007)
A computer system for checking proofs /
by: Johnson, Scott D.
Published: (1982)
by: Johnson, Scott D.
Published: (1982)
Systems and software verification : model-checking techniques and tools /
Published: (2001)
Published: (2001)
Proving operating systems correct /
by: Karp, Richard Alan
Published: (1983)
by: Karp, Richard Alan
Published: (1983)
Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /
by: Müller-Olm, Markus
Published: (1997)
by: Müller-Olm, Markus
Published: (1997)
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /
Published: (2006)
Published: (2006)
A survey of verification techniques for parallel programs /
Published: (1985)
Published: (1985)
Software design improvements /
by: Lalli, Vincent R., et al.
Published: (1997)
by: Lalli, Vincent R., et al.
Published: (1997)
Communication protocol specification and verification /
by: Lai, Richard, Ph. D.
Published: (1998)
by: Lai, Richard, Ph. D.
Published: (1998)
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings /
Published: (2006)
Published: (2006)
Data refinement : model-oriented proof methods and their comparison /
by: Roever, W. P. de (Willem Paul)
Published: (1998)
by: Roever, W. P. de (Willem Paul)
Published: (1998)