No abstract available


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Autocoding and Dictionaries on SMAP and MSL


    Beteiligte:
    Benowitz, Ed (Autor:in) / Swan, Chris (Autor:in)

    Kongress:

    Workshop on Spacecraft Flight Software ; 2014 ; Pasadena, CA, United States


    Erscheinungsdatum :

    2014-12-16


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Autocoding in Automotive Software Development

    Furst, S. / Institution of Electrical Engineers / IEE Microelectronics and Embedded Systems Professional Network et al. | British Library Conference Proceedings | 2005


    Autocoding in automotive software development

    Fu¨rst, S. | IET Digital Library Archive | 2005



    Credible autocoding and verification of a gas turbine engine FADEC

    Wang, Timothy / Jobredeaux, Romain / Pakmher, Mehrdad et al. | IEEE | 2014


    A credible autocoding application within a rocket and its payload

    Cohen, Raphael / Jobredeaux, Romain / Feron, Eric | IEEE | 2015