Model-Based Design for Large High-Integrity Systems: A Discussion on Logic-Intensive Algorithms (AAS 13-004)
37th, Rocky Mountain guidance and control conference; Guidance and control 2013 ; 2014 ; Breckenridge, CO
2013-01-01
20 pages
Includes bibliographical references and indexes. Also issued online. Proceedings of the 36th Annual AAS Rocky Mountain Section Guidance and Control Conference.
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Model-Based Design for Large High-Integrity Systems: A Discussion on Verification and Validation
British Library Conference Proceedings | 2010
|British Library Conference Proceedings | 2010
|Integrity of map-matching algorithms
Online Contents | 2006
|Reducing Cost of High Integrity Systems through Model-Based Testing
British Library Conference Proceedings | 2004
|