Zugriff

    Download

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Implementierung und Verifikation einer stabilen Prozesskette zur Auslegung von Turbinen mit PrEDiCT in GTlab


    Beteiligte:
    Nelles, David (Autor:in) / Grunwitz, Clemens (Autor:in)

    Erscheinungsdatum :

    2020


    Format / Umfang :

    73 pages



    Medientyp :

    Report


    Format :

    Elektronische Ressource


    Sprache :

    Deutsch





    Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers

    Schmidt, Bernard / Bulach, Slava / Weinberger, Katharina et al. | Tema Archiv | 2008


    Auslegung von Radsatzwellen - Verifikation der Lastannahmen

    Kläger, A. / Bühler, S. | Tema Archiv | 2003



    Auslegung von Radsatzwellen - Verifikation der Lastannahmen

    Kläger, August / Bühler, Stefan | IuD Bahn | 2003