Zum Inhalt springen

  1. Zeiß, Benjamin [Verfasser:in] ; Grabowski, Jens [Mitwirkende:r]; Schieferdecker, Ina [Mitwirkende:r]

    Quality Assurance of Test Specifications for Reactive Systems ; Qualitätssicherung von Testspezifikationen für Reaktive Systeme

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Georg-August-Universität Göttingen: eDiss, 2013-01-30T23:50:54Z

  2. Werner, Edith Benedicta Maria [Verfasser:in] ; Grabowski, Jens [Mitwirkende:r]; Waack, Stephan [Mitwirkende:r]

    Learning Finite State Machine Specifications from Test Cases ; Lernen von Spezifikationen in Form von endlichen Zustandsmaschinen aus Testfällen

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Georg-August-Universität Göttingen: eDiss, 2013-01-30T23:50:54Z