Kursangebote des FuE - Bereiches 'Sicherheitskritische Systeme'

14.10.2004 - 26.11.2004 , OFFIS

Workshop

  • 25./26.11.2004 sowie 03./04.03.2005

    Fehlerfreie Modelle mit formaler Verifikation

     

  • 18./19.11.2004 und 24./25.02.2005

    UML für eingebettete Echtzeitsysteme