Neuzugänge

vom 16.4.2014

Integration of SAT-based Coverage Measures into a NuSMV-based Verification Workflow

Hoffmann, Roberto ; Molitor, Paul

Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008

vom 21.1.2009

Using Hardware Tokens for Authentication of Multiple Client Application Making Single Sign-On Possible

Wefel, Sandro ; Molitor, Paul

Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008