Add to ORKGThe main objectives are: a model of a replicated system with exact-match voting; a fault model that includes transients; a theorem that establishes the conditions under which the system provides fault tolerance; a formal specification of the model; and a mechanically checked verification of the theorem that is consonant with the journal-level presentation. Formal specification and verification revealed typos in the original report, exposed omission in original proof, led to the stronger theorem and more elegant proof, and confirmed that Enhanced Hierarchical Development Methodology (EHDM) has the capability to specify interesting and useful properties in a direct, natural, and readable manner
A listing is given of those satellites currently in orbit and those that have previously orbited the...
Boeing's view of the High Speed Civil Transport (HSCT) is given in viewgraph format. Boeing believes...
NASA-Langley is sponsoring a rotorcraft structural dynamics program with the objective to establish ...
The intent here is to discuss the status of the boundary element method (BEM) for structural analysi...
The focus here is on one aspect of the Computational Structural Mechanics (CSM) Testbed: finite elem...
The model reference control of lumped linear systems and the model reference control of the distribu...
The Space Transportation System (STS) documents were reviewed to determine their applicability to th...
This report covers a portion of an ongoing investigation of the durability of titanium alloys for th...
Small Satellite Technology Initiative (SSTI) Lewis Spacecraft Program is evaluated. Spacecraft integ...
Advances in the analysis of adhesive-bonded joints are presented with particular emphasis on advance...
Future satellite communications is expected to be fully integrated into National and Global Informat...
The transputer parallel processing lab at NASA Lewis Research Center (LeRC) consists of 69 processor...
The views of GE and P&W on the High Speed Civil Transport (HSCT) are presented in viewgraph format. ...
Volume two of the facilities catalogue deals with Airbreathing Propulsion and Flight Simulation Faci...
Equations of motion, control strategy, perturbation, rigid-body maneuvers, quasi-modal equations, an...
A listing is given of those satellites currently in orbit and those that have previously orbited the...
Boeing's view of the High Speed Civil Transport (HSCT) is given in viewgraph format. Boeing believes...
NASA-Langley is sponsoring a rotorcraft structural dynamics program with the objective to establish ...
The intent here is to discuss the status of the boundary element method (BEM) for structural analysi...
The focus here is on one aspect of the Computational Structural Mechanics (CSM) Testbed: finite elem...
The model reference control of lumped linear systems and the model reference control of the distribu...
The Space Transportation System (STS) documents were reviewed to determine their applicability to th...
This report covers a portion of an ongoing investigation of the durability of titanium alloys for th...
Small Satellite Technology Initiative (SSTI) Lewis Spacecraft Program is evaluated. Spacecraft integ...
Advances in the analysis of adhesive-bonded joints are presented with particular emphasis on advance...
Future satellite communications is expected to be fully integrated into National and Global Informat...
The transputer parallel processing lab at NASA Lewis Research Center (LeRC) consists of 69 processor...
The views of GE and P&W on the High Speed Civil Transport (HSCT) are presented in viewgraph format. ...
Volume two of the facilities catalogue deals with Airbreathing Propulsion and Flight Simulation Faci...
Equations of motion, control strategy, perturbation, rigid-body maneuvers, quasi-modal equations, an...
A listing is given of those satellites currently in orbit and those that have previously orbited the...
Boeing's view of the High Speed Civil Transport (HSCT) is given in viewgraph format. Boeing believes...
NASA-Langley is sponsoring a rotorcraft structural dynamics program with the objective to establish ...