Global ETD Search

11	Formale Sicherheitsanalyse Ortmeier, Frank January 2005 (has links) Zugl.: Augsburg, Univ., Diss., 2005
12	Formale Sicherheitsanalyse / Ortmeier, Frank. January 2006 (has links) Universiẗat, Diss., 2005--Augsburg.
13	Konfigurierung verteilter, sicherheitsrelevanter Echtzeitsysteme im Kraftfahrzeug / Brummund, Stefan. January 2008 (has links) Diss--Universität Karlsruhe, 2008.
14	Modellierung und Bewertung hochzuverlässiger Energiebordnetz-Architekturen für sicherheitsrelevante Verbraucher in Kraftfahrzeugen / Abele, Marcus. January 2008 (has links) Zugl.: Kassel, Universiẗat, Diss., 2008.
15	Architekturkonzept und Designaspekte einer signaltechnisch nichtsicheren Kommunikationsplattform für sicherheitsrelevante Bahnanwendungen Kendelbacher, Detlef. Unknown Date (has links) (PDF) Universiẗat, Diss., 2004--Bremen. / Erscheinungsjahr an der Haupttitelstelle: 2003.
16	Modell-basierte Verifikation von vernetzten mechatronischen Systemen Hirsch, Martin January 2008 (has links) Zugl.: Paderborn, Univ., Diss., 2008
17	Safety critical wireless sensor networks Meier, Andreas January 2009 (has links) Zugl.: Zürich, Techn. Hochsch., Diss., 2009
18	Engineering of safety-related and embedded real-time systems Lu, Shourong January 2009 (has links) Zugl.: Hagen, Fernuniv., Diss., 2009
19	Verifying OCL specifications of UML models tool support and compositionakity Kyas, Marcel January 2006 (has links) Zugl.: Leiden, Univ., Diss., 2006
20	Model checking compositional Markov systems Johr, Sven January 2007 (has links) Zugl.: Saarbrücken, Univ., Diss., 2007

Search results