Suggestion for formally Verification of partially specified safety-critical Automotive Systems (Englisch)
- Neue Suche nach: Uygur, Gürkan
- Neue Suche nach: Sattler, Sebastian M.
- Neue Suche nach: Uygur, Gürkan
- Neue Suche nach: Sattler, Sebastian M.
In:
AmE 2012 - Automotive meets Electronics
;
6
;
2012
-
ISBN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:Suggestion for formally Verification of partially specified safety-critical Automotive Systems
-
Beteiligte:Uygur, Gürkan ( Autor:in ) / Sattler, Sebastian M. ( Autor:in )
-
Kongress:AmE 2012 - Automotive meets Electronics - Beiträge der 3. GMM-Fachtagung
-
Erschienen in:GMM-Fachbericht ; 72 ; 6
-
Verlag:
- Neue Suche nach: VDE VERLAG GMBH
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:6 pages
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
-
Function Based Modeling of Diagnostic RequirementsKastner, André / Gloos, Michael / Peti, Philipp / Wagner, Nikolas et al. | 2012
-
Simulation based Design Strategy for EMC Compliance of Components in Hybrid VehiclesMaaß, Uwe / Tschoban, Christian / Ndip, Ivan / Hoene, Eckard / Guttowski, Stephan / Lang, Klaus-Dieter et al. | 2012
-
Verbesserung der Zuverlässigkeit, Lebensdauer und Kostensenkung in der Automotive-Elektronik durch innovative LeiterplattentechnologieWeinhold, Michael et al. | 2012
-
Considering MOST150 during Virtual Prototyping of Automotive E/E ArchitecturesGraf, Sebastian / Russ, Thomas / Glaß, Michael / Teich, Jürgen et al. | 2012
-
Elektromobilität und Elektromagnetische Verträglichkeit eines BMS-ModulsPalme, Robert / Gräbner, Frank / Kallemyer, Christian / Schmidt, Gunther / Hungsberg, Axel et al. | 2012
-
Untersuchung der Dämpfungseigenschaften des Hochvoltbordnetzes in ElektrofahrzeugenObholz, Martin / Bärenfänger, Jörg / Maarleveld, Marc / Hirsch, Holger et al. | 2012
-
Suggestion for formally Verification of partially specified safety-critical Automotive SystemsUygur, Gürkan / Sattler, Sebastian M. et al. | 2012
-
Ein Konzept zur Plausibilitätsprüfung von Car-to-X Mobilitätsdaten basierend auf Pfadprädiktionen und Hidden Markov ModelsStübing, Hagen / Firl, Jonas / Huss, Sorin A. et al. | 2012
-
Integrierter System Basis Chip für LED FrontscheinwerferSchulz, Michael / Scheer, Patrick et al. | 2012
-
Untersuchungen zur Temperaturbeständigkeit von Lötstopplacken unter Berücksichtigung der Einsatzbedingungen in AutomobilanwendungenSuppa, Manfred et al. | 2012
-
Restbus-Simulation unter Verwendung virtueller PrototypenArndt, Thomas / Einwich, Karsten / Presting, Hartmut et al. | 2012
-
Simulationsbasierte Optimierung von MehrspannungsbordnetzenDiebig, Maja / Frei, Stephan et al. | 2012
-
Simulationsbasierte Bewertung von Online-Detektionsverfahren für Fehler im Physical Layer von Kfz-BussystemenTrombetti, Daniela / Feldhues, Katharina / Frei, Stephan / Metzner, Dieter / Hell, Magnus Maria et al. | 2012
-
Eine strukturierte Modellbibliothek für Analysen an Antriebssträngen von ElektrofahrzeugenNiedzwiedz, Simon / Frei, Stephan et al. | 2012
-
Safety-Critical Systems: Proposal to Access a Partially Defined Analog StructureUygur, Gürkan / Sattler, Sebastian M. et al. | 2012
-
Selektive Verbindungstechnik für die LeistungselektronikFehrenbach, Manfred et al. | 2012
-
Computer Vision im Fahrzeug: Systemanforderungen und Hardwarebetrachtungen zur kamerabasierten UmfeldwahrnehmungSchneider, Martin / Baust, Maximilian / Beimforde, Michael et al. | 2012
-
Effizienteres Erstellen und Aufbereiten der Bauzustandsdokumentation eines Fahrzeuges und die Auswirkungen auf den KundendienstFrie, Sebastian / Schnier, Carsten et al. | 2012
-
Anwendung der Structure-from-Motion Technologie am Beispiel von Online CalibrationPlatonov, Juri / Kaczmarczyk, Pawel / Gebauer, Thomas et al. | 2012