Report on the formal specification and partial verification of the VIPER microprocessor /

VIPER integrated MDAO analysis for conceptual design of supersonic x-plane vehicles /
by: Garcia, Joseph A
Published: (2019)

Design and verification guidelines for vibroacoustic and transient environments.
Published: (1986)

Design and verification guidelines for vibroacoustic and transient environments.
Published: (1986)

Design verification and fabrication of active control systems for the DAST ARW-2 high aspect ratio wing /
by: McGehee, C. R.
Published: (1986)

Embedded microprocessor systems /
Published: (1996)

IAPSA II small-scale system specification /
by: Cohen, G. C. (Gerald C.)
Published: (1990)

Model verification and validation concepts for a probabilistic fracture assessment model to predict cracking of knife edge seals in the space shuttle main engine high pressure oxidizer /
by: Pai, Shantaram S., et al.
Published: (2013)

Automated verification of specifications with typestates and access permissions /
by: Siminiceanu, Radu I.
Published: (2011)

Secure naming and addressing operations for store, carry and forward networks /
by: Eddy, Wesley
Published: (2014)

A methodology for the design and verification of globally asynchronous/locally synchronous architectures /
Published: (2005)

A formally-verified decision procedure for univariate polynomial computation based on Sturm's Theorem /
by: Narkawicz, Anthony Joseph, 1982-, et al.
Published: (2014)

The production of O(¹D) from dissociative recombination of O₂(+) /
by: Guberman, S. (Steven)
Published: (1987)

A methodology for evaluating artifacts produced by a formal verification process /
by: Siminiceanu, Radu I.
Published: (2011)

Formal methods case studies for DO-333 /
by: Cofer, Darren, et al.
Published: (2014)

Development of a microprocessor controller for stand-alone photovoltaic power systems /
by: Millner, A. R.
Published: (1984)

Space telescope, design development mockup /
by: Pruett, Edwin C.
Published: (1983)

Simple benchmarck specifications for space radiation protection /
by: Singleterry, Robert C., et al.
Published: (2013)

Correctness proof of a self-stabilizing distributed clock synchronization protocol for arbitrary digraphs /
by: Malekpour, Mahyar R.
Published: (2011)

Program to optimize simulated trajectories II (POST2) surrogate models for Mars Ascent Vehicle (MAV) performance assessment /
by: Zwack, M. R.
Published: (2017)

Design and application of strategies/tactics in higher order logics /
Published: (2003)

Investigation of springback associated with composite material component fabrication : MSFC Center director's discretionary fund final report, Project 94-09 /
by: Benzie, M. A.
Published: (1997)

On the formal verification of conflict detection algorithms /
Published: (2001)

Attitude Determination Error Analysis System (ADEAS) mathematical specification document /
by: Nicholson, M.
Published: (1988)

Investigating actuation force fight with asynchronous and synchronous redundancy management techniques /
by: Hall, Brendan
Published: (2013)

Preprototype SAWD subsystem : final report /
by: Nalette, T. A.
Published: (1984)

Software-implemented fault insertion : an FTMP example /
by: Czeck, Edward W., et al.
Published: (1987)

Engineering specification and system design for CAD/CAM of custom shoes : project ANG-1-875 : phase V, UMC involvement (January 1, 1989-June 30, 1989) : a report submitted to National Aeronautics & Space Administration, Langley Research Center, Hampton, Virginia /
by: Bao, Han P.
Published: (1989)

Radiation specifications for fission power conversion component materials /
Published: (2011)

GA-ASI final report and program wrap-up for NASA system integration and operationalization (SIO) /
Published: (2021)

The sharing of rights and information in a capability-based protection system /
by: Bishop, Matt (Matthew A.)
Published: (1988)

Self-tuning of design variables for generalized predictive control /
by: Lin, Chaung, et al.
Published: (2000)

Self-tuning of design variables for generalized predictive control /
by: Lin, Chaung
Published: (2000)

Outline for reusable reentry satellite system specification : volumes 1 - volume 9 /
Published: (1989)

Design and specifications for the highland regolith prototype simulants NU-LHT-1M and -2M /
by: Stoeser, D. B.
Published: (2010)

A fiber-optic probe design for combustion chamber flame detection applications : design criteria, performance specifications, and fabrication technique /
by: Borg, Stephen E.
Published: (2001)

Low gravity guidance system for airborne microgravity research /
by: Rieke, W. J.
Published: (1996)