Spelling suggestions: "subject:"sicherheitskritisches atemsystem."" "subject:"sicherheitskritisches systsystem.""
11 |
Formale SicherheitsanalyseOrtmeier, Frank January 2005 (has links)
Zugl.: Augsburg, Univ., Diss., 2005
|
12 |
Formale Sicherheitsanalyse /Ortmeier, Frank. January 2006 (has links)
Universiẗat, Diss., 2005--Augsburg.
|
13 |
Konfigurierung verteilter, sicherheitsrelevanter Echtzeitsysteme im Kraftfahrzeug /Brummund, Stefan. January 2008 (has links)
Diss--Universität Karlsruhe, 2008.
|
14 |
Modellierung und Bewertung hochzuverlässiger Energiebordnetz-Architekturen für sicherheitsrelevante Verbraucher in Kraftfahrzeugen /Abele, Marcus. January 2008 (has links)
Zugl.: Kassel, Universiẗat, Diss., 2008.
|
15 |
Architekturkonzept und Designaspekte einer signaltechnisch nichtsicheren Kommunikationsplattform für sicherheitsrelevante BahnanwendungenKendelbacher, Detlef. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2004--Bremen. / Erscheinungsjahr an der Haupttitelstelle: 2003.
|
16 |
Modell-basierte Verifikation von vernetzten mechatronischen SystemenHirsch, Martin January 2008 (has links)
Zugl.: Paderborn, Univ., Diss., 2008
|
17 |
Safety critical wireless sensor networksMeier, Andreas January 2009 (has links)
Zugl.: Zürich, Techn. Hochsch., Diss., 2009
|
18 |
Engineering of safety-related and embedded real-time systemsLu, Shourong January 2009 (has links)
Zugl.: Hagen, Fernuniv., Diss., 2009
|
19 |
Verifying OCL specifications of UML models tool support and compositionakityKyas, Marcel January 2006 (has links)
Zugl.: Leiden, Univ., Diss., 2006
|
20 |
Model checking compositional Markov systemsJohr, Sven January 2007 (has links)
Zugl.: Saarbrücken, Univ., Diss., 2007
|
Page generated in 0.0921 seconds