Skip to contents

Baumgarten, Bernd [Author]; Giessler, Alfred [Author]

OSI-Testmethodik und TTCN

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1992

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 202
Canver, Ercüment [Author]

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1999

Published in: Ulmer Informatik-Berichte ; 99,04
Bollig, Benedikt [Author]

Formal models of communicating systems : languages, automata and monadic second-order logic ; with 72 figures and 6 tables

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006
Bollig, Benedikt [Author]

Automata and logics for message sequence charts

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Mainz, 2005

Published in: Aachener Informatik-Berichte ; 2005,10
Amyot, Daniel [Editor]; Williams, Alan W. [Editor] ; SAM 4 2004 Ottawa

System analysis and modeling : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1 - 4, 2004 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 3319
Leue, Stefan [Editor]; Systä, Tarja Johanna [Other] ; 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

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 3466
Beyer, Matthias [Author]

Q.E.D. - ein Entwurfsprozess für statistische Tests mit Betrachtung von Zeit- und Leistungsanforderungen

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Beyer, Matthias [Author]

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

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg, 2008-07-31
Canver, Ercüment [Author]

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

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Ulmer Informatik-Berichte ; 99,04
Glockner, Matthias [Other]

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

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: Techn. Univ. Chemnitz, Fakultät für Informatik, 2007
Vega, Diana-Elena [Author] ; Schieferdecker, Ina [Degree supervisor]

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

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Universitätsbibliothek der Technischen Universität Berlin, 2011
Serbanescu, Diana Alina [Author]

Testing Framework for Real-time And Embedded Systems

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Freie Universität Berlin, 2014
Ebner, Michael [Author] ; Hogrefe, Dieter [Degree supervisor]; Grabowski, Jens [Degree supervisor]

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

View online
Schließen

Access

... to E-book

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2004
Schmitt, Michael [Author]

Automatic test generation based on formal specifications : practical procedures for efficient state space exploration and improved representation of test cases

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.
Schmitt, Michael [Author] ; Hogrefe, Dieter [Contributor]; Grabowski, Jens [Contributor]

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

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Georg-August-Universität Göttingen: eDiss, 2013-01-30T23:50:55Z
Bollig, Benedikt [Other]

Automata and logics for message sequence charts

View online
Schließen

Access

... to E-book (Volltext ; PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen, 2005

Published in: Aachener Informatik-Berichte ; 2005,10
Trenkel, Kristian [Author]

Konzept und Umsetzung einer modularen, portierbaren Middleware für den automatisierten Test eingebetteter Systeme

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Chemnitz: Universitätsverlag Chemnitz, 2016
Ebner, Michael [Author] ; Hogrefe, Dieter [Contributor]; Grabowski, Jens [Contributor]

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 -

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Georg-August-Universität Göttingen: eDiss, 2013-01-30T23:51:07Z
Amyot, Daniel [Other]; Williams, Alan W. [Other]

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

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3319
Efkemann, Christof [Author] ; Peleska, Jan [Degree supervisor]; Haxthausen, Anne E. [Degree supervisor]

A Framework for Model-based Testing of Integrated Modular Avionics

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bremen: Staats- und Universitätsbibliothek Bremen, 2014

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication