Zum Inhalt springen

  6. Leue, Stefan [Herausgeber:in]; Systä, Tarja Johanna [Sonstige Person, Familie und Körperschaft] ; International Workshop Scenarios: Models, Transformations and Tools 2003 Dagstuhl

    Scenarios: models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3466

  8. Beyer, Matthias [Verfasser:in]

    Q.E.D. - Ein Entwurfsprozess für statistische Tests mit Betrachtung von Zeit- und Leistungsanforderungen ; Q.E.D. - A development process for statistical tests with consideration of time and performance requirements

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg, 2008-07-31

  9. Canver, Ercüment [Verfasser:in]

    Model-Checking zur Analyse von Message Sequence Charts über Statecharts

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

    Erschienen in: Ulmer Informatik-Berichte ; 99,04

  10. Glockner, Matthias [Sonstige Person, Familie und Körperschaft]

    Kompatibilitätsanalyse dynamischen Verhaltens von integrierten Automobil-Steuergeräten : [Vortrag, Dresdner Arbeitstagung Schaltungs- und Systementwurf, 8. - 9. Mai 2007]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    [S.l.]: Techn. Univ. Chemnitz, Fakultät für Informatik, 2007

  11. Vega, Diana-Elena [Verfasser:in] ; Schieferdecker, Ina [Akademische:r Betreuer:in]

    A Methodology for Automated Interoperability Testing of Healthcare Information Systems based on an Actor Emulation Approach

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin: Universitätsbibliothek der Technischen Universität Berlin, 2011

  13. Ebner, Michael [Verfasser:in] ; Hogrefe, Dieter [Akademische:r Betreuer:in]; Grabowski, Jens [Akademische:r Betreuer:in]

    UML-based Test Specification for Communication Systems : A Methodology for the use of MSC and IDL in Testing

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2004

  15. Schmitt, Michael [Verfasser:in] ; Hogrefe, Dieter [Mitwirkende:r]; Grabowski, Jens [Mitwirkende:r]

    Automatic Test Generation Based on Formal Specifications ; Practical Procedures for Efficient State Space Exploration and Improved Representation of Test Cases ; Automatische Testgenerierung basierend auf formalen Spezifikationen ; Praxisorientierte Verfahren für die effiziente Zustandsraumexploration und die verbesserte Repräsentation von Testfällen

    Hochschulschriften
    Online ansehen
    Schließen
    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:55Z

  18. Ebner, Michael [Verfasser:in] ; Hogrefe, Dieter [Mitwirkende:r]; Grabowski, Jens [Mitwirkende:r]

    UML-based Test Specification for Communication Systems ; - A Methodology for the use of MSC and IDL in Testing - ; UML-basierte Testspezifikation für Kommunikationssysteme ; - Eine Methodologie für die Verwendung von MSC und IDL für das Testen -

    Hochschulschriften
    Online ansehen
    Schließen
    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:51:07Z

  19. Amyot, Daniel [Sonstige Person, Familie und Körperschaft]; Williams, Alan W. [Sonstige Person, Familie und Körperschaft]

    System Analysis and Modeling : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3319

  20. Efkemann, Christof [Verfasser:in] ; Peleska, Jan [Akademische:r Betreuer:in]; Haxthausen, Anne E. [Akademische:r Betreuer:in]

    A Framework for Model-based Testing of Integrated Modular Avionics

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Bremen: Staats- und Universitätsbibliothek Bremen, 2014