2009

Technische Berichte

im Jahr 2009

  1. Christian Heger und Lothar Schmitz

    Establishing Properties of Frameworks and their Applications:
    A Case Study using Alloy and Object-Z


    Abstract, pdf-Datei


  2. Dr. Udo Helmbrecht, Prof. Dr. Gabi Dreo Rodosek, Björn Stelte, Robert Koch

    Sichere und integre IT-Systeme

    Abstract, pdf-Datei