Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems
National Aeronautics And Space Adm Nasa
Paperback. Independently Published 2018-11-01.
ISBN 9781731262905
Buy from Amazon.co.uk
More books by National Aeronautics And Space Adm Nasa
Crystallization Kinetics of Barium and Strontium Aluminosilicate Glasses of Feldspar Composition
Paperback
2019
Cyclic Hot Firing Results of Tungsten-Wire-Reinforced, Copper-Lined Thrust Chambers
Paperback
2019
Design and Flight Evaluation of an Integrated Navigation and Near-Terrain Helicopter Guidance System for Night-Time and Adverse Weather Operations
Paperback
2019
Development of an Automatic Differentiation Version of the Fpx Rotor Code
Paperback
2019
Development, Refinement, and Testing of a Short Term Solar Flare Prediction Algorithm
Paperback
2019
Similar books
Formal Specification and Verification of Digital Systems
Paperback
2019
Real-Time Systems: Formal Specification and Automatic Verification
Paperback
2019
Object Comx: A Method for the Analysis, Design, Formal Specification and Verification of Dynamic Systems
Paperback
2019
Verification and Control of Pressure Transients and Intrusion in Distribution Systems
Paperback
2019
Integrating Formal Verification and Simulation in Digital Logic
Paperback
2019
Rate the book
Write a review and share your opinion with others. Try to focus on the content of the book.
Read our instructions
for further information.
Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems
Your rating:
Please enter a title for your review
(min 2 words):
Type your review in the space below
(max 1000 words):
Language of the review:
English
Your name
(optional):
Your email address
(not displayed,
only
for verification):
Your review will be displayed within five to seven business days.
Reviews that doesn't follow our
instructions
will not be displayed.
Book reviews
»
Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems
Categories
Address Books & Journals
Art & Architecture
Biography
Business, Finance & Law
Comics & Graphic Novels
Computers & Internet
Crime, Thrillers & Mystery
Fiction
Food & Drink
Health & Family
History
Home & Garden
Horror
Mind, Body & Spirit
Music, Stage & Screen
Poetry, Drama & Criticism
Reference & Languages
Religion & Spirituality
Science & Nature
Science Fiction & Fantasy
Scientific & Medical
Society & Philosophy
Sports & Hobbies
Book reviews
|
Help & support
|
About us