Browsing P210 - Automotive – Safety & Security 2012 by Title - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Now showing items 11-18 of 18

«
»

MEMICS - memory interval constraint solving of (concurrent) machine code

Nowotka, Dirk; Traub, Johannes
69-83
Modelica - modeling and simulation of technical systems

Jähnichen, Stefan
11-11
Modellbasierte Sicherheitsanalysen im BMBF-Förderprojekt e performance

Adler, Rasmus; Kemmann, Sören; Schurius, Markus; Allmann, Christian
179-193
Risk-based testing of Bluetooth functionality in an automotive environment

Jakob, Felix; Kremer, Wolfgang; Schulze, Andreas; Großmann, Jürgen; Menz, Nadja; Schneider, Martin; Feudjio, Alain-Georges Vouffo
211-228
Static verification of non-functional software requirements in the ISO-26262

Kästner, Daniel; Ferdinand, Christian
39-54
SW-basierte Integration von neuen Fahrzeugfunktionen in zentralisierten Controllern

Becker, Klaus; Buckl, Christian; Camek, Alexander; Falk, Rainer; Fiege, Ludger; Geßner, Jürgen; Sommer, Stephan
115-132
A systematic approach to a qualified security risk analysis for vehicular IT systems

Wolf, Marko; Scheibel, Michael
195-210
Why current memory management units are not suited for automotive ECUs

Schneider, Jörn
99-114

Now showing items 11-18 of 18

«
»