TY  - CHAP
A1  - Beckschulze, E.
A1  - Salewski, F.
A1  - Siegbert, T.
A1  - Kowalewski, S.
T1  - Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications
T2  - Proc. Leveraging Applications of Formal Methods, Verification and Validation (ISoLA08),  2009, vol. 17 in  Communications in Computer and Information Science
Y1  - 2009
UR  - https://www.hb.fh-muenster.de/opus4/frontdoor/index/index/docId/5987
SP  - 82
EP  - 92
PB  - Springer
CY  - Berlin, Heidelberg
ER  -