- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 41 to 50 of 110 (0.094 seconds)| 41 |
Integrating formal verification into the model-based development of adaptive embedded systemsSchaefer, Ina January 2008 (has links)
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2008
|
| 42 |
Operating guidelines for services /Massuthe, Peter. January 2009 (has links)
Zugl.: Berlin, Humboldt-University und Eindhoven, Techn. University, Diss., 2009.
|
| 43 |
Auswertealgorithmus auf der Basis einer Modifikation des goniometrischen Modells zur stetigen Beschreibung der Wöhlerkurve vom Low-Cycle-Fatigue- bis in den Ultra-High-Cycle-Fatigue-BereichSchäfer, Hans Joachim January 2008 (has links)
Zugl.: Aachen, Techn. Hochsch., Diss., 2008
|
| 44 |
A verification plan for systematic verification of mechatronic systemsKrupp, Alfred Alexander January 2009 (has links)
Zugl.: Paderborn, Univ., Diss., 2009
|
| 45 |
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOLPrensa Nieto, Leonor. Unknown Date (has links)
Techn. University, Diss., 2002--München.
|
| 46 |
Verification in the hierarchical development of reactive systemsSalger, Frank. Unknown Date (has links) (PDF)
University, Diss., 2001--Mannheim.
|
| 47 |
Software verification for programmable logic controllersHuuck, Ralf. Unknown Date (has links) (PDF)
University, Diss., 2003--Kiel.
|
| 48 |
Abstraction-based verification of parameterized networksBaukus, Kai. Unknown Date (has links) (PDF)
University, Diss., 2003--Kiel.
|
| 49 |
Exploring the limits of parameterized system verificationStahl, Karsten. Unknown Date (has links) (PDF)
University, Diss., 2003--Kiel.
|
| 50 |
A uniform framework for the formal specification and verification of information flow securityMantel, Heiko. Unknown Date (has links) (PDF)
University, Diss., 2003--Saarbrücken.
|
Page generated in 0.0986 seconds