| dc.contributor.author | Damm, Werner | |
| dc.contributor.author | Schulte, Christoph | |
| dc.contributor.author | Wittke, Hartmut | |
| dc.contributor.author | Segelken, Marc | |
| dc.contributor.author | Higgen, Uwe | |
| dc.contributor.author | Eckrich, Michael | |
| dc.contributor.editor | Dittrich, Klaus R. | |
| dc.contributor.editor | König, Wolfgang | |
| dc.contributor.editor | Oberweis, Andreas | |
| dc.contributor.editor | Rannenberg, Kai | |
| dc.contributor.editor | Wahlster, Wolfgang | |
| dc.date.accessioned | 2019-11-14T10:49:32Z | |
| dc.date.available | 2019-11-14T10:49:32Z | |
| dc.date.issued | 2003 | |
| dc.identifier.isbn | 3-88579-363-6 | |
| dc.identifier.issn | 1617-5468 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/29794 | |
| dc.description.abstract | Im folgenden wird der Einsatz eines Prototypen zur formalen Verifikation von ASCET-SD-Modellen im Kontext der aktuell von BMW entwickelten Aktivlenkung [EPK+02] geschildert. Der Prototyp wurde zur Überprüfung sicherheitsrelevanter Eigenschaften der Abschaltlogik verwendet, welche ein zentraler Bestandteil der Steuerung der Aktivlenkung ist. | de |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | INFORMATIK 2003 – Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI) | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-34 | |
| dc.title | Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung | de |
| dc.type | Text/Conference Paper | |
| dc.pubPlace | Bonn | |
| mci.reference.pages | 340-344 | |
| mci.conference.sessiontitle | Regular Research Papers | |
| mci.conference.location | Frankfurt am Main | |
| mci.conference.date | 29. September - 2. Oktober 2003 | |
