2012-2575 Assuring Software Fault Management with the Architecture Analysis and Design Language
Conference, AIAA Infotech@aerospace ; 2012 ; Garden Grove, CA
01.01.2012
12 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
Infotech , Astronautics , AIAA , Aerospace
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
DataCite | 1894
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
|