Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Model-Based Design for Large High-Integrity Systems: A Discussion on Logic-Intensive Algorithms (AAS 13-004)



    Conference:

    37th, Rocky Mountain guidance and control conference; Guidance and control 2013 ; 2014 ; Breckenridge, CO



    Publication date :

    2013-01-01


    Size :

    20 pages


    Remarks:

    Includes bibliographical references and indexes. Also issued online. Proceedings of the 36th Annual AAS Rocky Mountain Section Guidance and Control Conference.




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Model-Based Design for Large High-Integrity Systems: A Discussion on Verification and Validation

    Anthony, M. / Behr, M. / Jardin, M. et al. | British Library Conference Proceedings | 2010


    Model-Based Design for Large High Integrity Systems: A Discussion on Data Modeling and Management (AAS 10-023)

    Anthony, M. / Behr, M. / American Astronautical Society | British Library Conference Proceedings | 2010


    Reducing cost of high integrity systems through model-based testing

    Busser, R.D. / Blackburn, M.R. / Nauman, A.M. et al. | IEEE | 2004


    Integrity of map-matching algorithms

    Quddus, Mohammed A. | Online Contents | 2006


    Reducing Cost of High Integrity Systems through Model-Based Testing

    Busser, R. / IEEE / AIAA | British Library Conference Proceedings | 2004