Access

    Download

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:

    Publication date :

    2020


    Size :

    73 pages



    Type of media :

    Report


    Type of material :

    Electronic Resource


    Language :

    German





    Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers

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


    Auslegung von Radsatzwellen - Verifikation der Lastannahmen

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


    Auslegung von Radsatzwellen - Verifikation der Lastannahmen

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