Global ETD Search

41	Integrating formal verification into the model-based development of adaptive embedded systems Schaefer, 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 Wöhlerkurve vom Low-Cycle-Fatigue- bis in den Ultra-High-Cycle-Fatigue-Bereich Schäfer, Hans Joachim January 2008 (has links) Zugl.: Aachen, Techn. Hochsch., Diss., 2008
44	A verification plan for systematic verification of mechatronic systems Krupp, 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, HOL Prensa Nieto, Leonor. Unknown Date (has links) Techn. University, Diss., 2002--München.
46	Verification in the hierarchical development of reactive systems Salger, Frank. Unknown Date (has links) (PDF) University, Diss., 2001--Mannheim.
47	Software verification for programmable logic controllers Huuck, Ralf. Unknown Date (has links) (PDF) University, Diss., 2003--Kiel.
48	Abstraction-based verification of parameterized networks Baukus, Kai. Unknown Date (has links) (PDF) University, Diss., 2003--Kiel.
49	Exploring the limits of parameterized system verification Stahl, Karsten. Unknown Date (has links) (PDF) University, Diss., 2003--Kiel.
50	A uniform framework for the formal specification and verification of information flow security Mantel, Heiko. Unknown Date (has links) (PDF) University, Diss., 2003--Saarbrücken.

Search results