Nehodí se? Vůbec nevadí! U nás můžete do 30 dní vrátit
S dárkovým poukazem nešlápnete vedle. Obdarovaný si za dárkový poukaz může vybrat cokoliv z naší nabídky.
30 dní na vrácení zboží
In dieser Arbeit wird ein Verfahren zur Identifikation sicherheitsbezogener Systeme in semi-formalen Modellen entwickelt. Anforderungen an das System werden mittels Zustandsdiagrammen, basierend auf weiteren Diagrammen der SysML, formuliert und mit modelliertem Verhalten verglichen. Maßzahlen bewerten die Bedeutsamkeit einzelner Komponenten. Die Eignung des Verfahrens wird u. a. anhand eines Batteriesystems für Elektrofahrzeuge gezeigt.