Suggested Topics within your search.
Suggested Topics within your search.
- Fault-tolerant computing 5
- System design 2
- Aids to air navigation 1
- Airplanes 1
- Automatic control 1
- Avionics 1
- Computer software 1
- Conferences 1
- Control systems 1
- Data processing 1
- Design analysis 1
- Electronic digital computers 1
- Mathematical models 1
- Proving 1
- Reliability 1
- Software engineering 1
- System analysis 1
- Testing 1
- Verification 1
-
1
Validation methods research for fault-tolerant avionics and control systems : working group meeting, II : proceedings of a working group meeting held at Langley Research Center, Ha...
Published 1980Subjects:Government Document Book -
2
Validation methods research for fault-tolerant avionics and control systems sub-working group meeting : CARE III Peer Review : proceedings of a sub-working group meeting held at Re...
Published 1980Subjects: “…Fault-tolerant computing Mathematical models Congresses.…”
Search for the full-text version of this title in HathiTrust
Government Document Book -
3
Validation Methods for Fault-Tolerant Avionics and Control Systems : Working Group Meeting I : proceedings of a working group meeting held at Langley Research Center, Hampton, Virg...
Published 1979Subjects: “…Fault-tolerant computing Congresses. http://id.loc.gov/authorities/subjects/sh2008103617.…”
Government Document Conference Proceeding Book -
4
Fourth NASA Langley Formal Methods Workshop
Published 1997Subjects:Government Document Conference Proceeding Microfilm Book -
5
Peer review of a formal verification/design proof methodology summary of a sub-working-group meeting /
Published 1985Subjects: “…Fault-tolerant computing Congresses. http://id.loc.gov/authorities/subjects/sh2008103617.…”
Government Document Microfilm Book