Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Safety Certification of Auto-Generated Aerospace Software [invited]


    Beteiligte:
    Denney, Ewen (Autor:in) / Fischer, Bernd (Autor:in)

    Kongress:

    Infotech@Aerospace


    Erschienen in:

    Erscheinungsdatum :

    01.01.2005




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch