Skip to contents

Butler, Michael [Editor]; Schulte, Wolfram [Other] ; FM 17 2011 Limerick

FM 2011: formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6664
Frederiksen, Norman [Editor]

Test theory for a new generation of tests

Close

Bookmarks

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

Hillsdale, NJ [u.a.]: Erlbaum, 1993
Utting, Mark [Author]; Legeard, Bruno [Author]

Practical model-based testing : a tools approach

Close

Bookmarks

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

Amsterdam; Heidelberg [u.a.]: Elsevier, 2007
Garas, F. K. [Other]; Clarke, J. L. [Other] ; Institution of Structural Engineers Informal Study Group Model Analysis as a Design Tool

Structural assessment : the use of full and large scale testing ; [based on the proceedings of an International Seminar organized by the Institution of Structural Engineers Informal Study Group for 'Model Analysis as a Design Tool']

Close

Bookmarks

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

London [u.a.]: Butterworths, 1987
Cassady, John M. [Editor]; Douros, John D. [Editor]

Anticancer agents based on natural product models

Close

Bookmarks

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

New York [u.a.]: Acad. Press, 1980

Published in: Medicinal chemistry ; 16
Sabbagh, Harold A. [Author]; Murphy, R. Kim [Author]; Sabbagh, Elias H. [Author]; Aldrin, John C. [Author]; Knopp, Jeremy S. [Author] ; Murphy, R. Kim [Other]; Sabbagh, Elias H. [Other]; Aldrin, John C. [Other]; Knopp, Jeremy S. [Other]

Computational electromagnetics and model-based inversion : a modern paradigm for eddy-current nondestructive evaluation

Close

Bookmarks

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

New York, NY , Heidelberg; Dordrecht: Springer, [2013]

Published in: Scientific computation
Broy, Manfred [Editor]

Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004]

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 ; 3472
Fischer, Marco [Author]

A formal fault model for component-based models of embedded systems

Close

Bookmarks

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

Dresden: TUDpress, 2007

Published in: Wissenschaftliche Schriftenreihe Eingebettete, selbstorganisierende Systeme ; 4
Püschel, Georg [Author] ; Technische Universität Dresden

Testing self-adaptive systems : a model-based approach to resilience

Close

Bookmarks

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

Dresden: Technische Universität Dresden, [2018]
Popa, Alexandru [Author]

Investigation of a model based control system for oil country tubular goods testing facilities - [1. Aufl.]

Close

Bookmarks

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

Clausthal-Zellerfeld: Papierflieger, 2011
Zander-Nowicka, Justyna [Author]

Model-based testing of real-time embedded systems in the automotive domain

Close

Bookmarks

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

Stuttgart: Fraunhofer-IRB-Verl., 2009
Neumann, Daniel [Author] ; Rheinisch-Westfälische Technische Hochschule Aachen

Konzeption und Erprobung einer modellbasierten selbstlernenden Motorregelung für synthetische Kraftstoffe = Design and testing of a model-based self-learning engine control system for synthetic fuels

Close

Bookmarks

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

Aachen, [2020?]
Homm, Daniel [Author]

Concurrency in model-based statistical testing of embedded systems in the automotive domain = Nebenläufige Aspekte beim modellbasierten, statistischen Test eingebetteter Systeme aus dem Automobilbereich

Close

Bookmarks

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

Erlangen; Nürnberg, [2017]
Marhenke, Torben [Author] ; Wallaschek, Jörg [Degree supervisor]; Reithmeier, Eduard [Degree supervisor] Gottfried Wilhelm Leibniz Universität Hannover, TEWISS - Technik und Wissen GmbH

Experimentelle und modellbasierte Untersuchung der zerstörungsfreien Werkstoffprüfung von holzbasierten Verbundwerkstoffen mittels Ultraschall = Experimental and model-based investigations of non-destructive material testing of wood-based composite materials through ultrasound

Close

Bookmarks

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

Garbsen: TEWISS Verlag, [2020]

Published in: Gottfried Wilhelm Leibniz Universität Hannover: Berichte aus dem IDS ; 2020,2
Rau, Andreas [Author]

Topic driven testing

View online
Schließen

Access

https://d-nb.info/1229916849/34

kostenfrei

Show more show less

Close

Bookmarks

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

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2020
Faragó, David [Author] ; Schmitt, P. H. [Degree supervisor]

Model Checking and Model-Based Testing : Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations

View online
Schließen

Access

https://d-nb.info/1114273678/34

kostenfrei

Show more show less

Close

Bookmarks

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

Karlsruhe: KIT-Bibliothek, 2016
Lackner, Hartmut [Author] ; Schlingloff, Bernd-Holger [Other]; Schäfer, Ina [Other]; Knapp, Alexander [Other]

Domain-Centered Product Line Testing

View online
Schließen

Access

https://d-nb.info/1189328739/34

kostenfrei

Show more show less

Close

Bookmarks

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

Berlin: Humboldt-Universität zu Berlin, 2017
Lindlar, Felix [Author] ; Jähnichen, Stefan [Degree supervisor]

Modellbasierter evolutionärer Funktionstest

View online
Schließen

Access

https://d-nb.info/1023762102/34

kostenfrei

Show more show less

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, 2012
Haschemi, Siamak [Author] ; Fischer, Joachim [Degree supervisor]; Schlingloff, Bernd-Holger [Degree supervisor]; Gargantini, Angelo [Degree supervisor]

Model-based testing of dynamic component systems

View online
Schließen

Access

https://d-nb.info/1075245079/34

kostenfrei

Show more show less

Close

Bookmarks

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

Berlin: Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015
Lity, Sascha Burkhard [Author] ; Schaefer, Ina [Degree supervisor]; Schürr, Andy [Degree supervisor]

Model-Based Product-Line Regression Testing of Variants and Versions of Variants

View online
Schließen

Access

https://d-nb.info/1203299060/34

kostenfrei

Show more show less

Close

Bookmarks

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

Braunschweig: Technische Universität Braunschweig, 2020

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