2012-2575 Assuring Software Fault Management with the Architecture Analysis and Design Language
Conference, AIAA Infotech@aerospace ; 2012 ; Garden Grove, CA
2012-01-01
12 pages
Includes bibliographical references and index
Conference paper
English
Aerospace , Infotech , Astronautics , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Thermal Lattice Boltzmann Simulation with Immersed Solid Boundary Model (AIAA 2014-2575)
British Library Conference Proceedings | 2014
|Assuring the Correctness of Automatically Generated Software
British Library Conference Proceedings | 1994
|Assuring Reliability in Software-Intensive Space Systems
AIAA | 2007
|