Skip to contents

  1. Brauer, Jörg [Author]; Lukoschus, Ben [Author]; Ferdinand, Christian [Author]; Grafe, Nicolas [Author]; Hahn, Sebastian [Author]; Kästner, Daniel [Author] ; Verified Systems International GmbH, Absint Angewandte Informatik GmbH, Technische Universität Kaiserslautern

    PROFORMA - Analyse der PROpagation von Fehlern durch FORMAle Methoden : Schlussbericht : BMBF-Projekt im Rahmen der BMBF-Förderinitiative KMU-innovativ (Informations- und Kommunikationstechnologie) : Laufzeit des Vorhabens: 1. Februar 2018-31. Januar 2020

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Bremen: [Verified Systems International GmbH], 28. Juli 2020