Webseite: aydos.de
Professor
nach Absprache
Exploiting error detection latency for parity-based soft error detection
pg. 3-8.
In-circuit Error Detection with Software-based Error Correction - An Alternative to TMR
In: Formal Modeling and Verification of Cyber-Physical Systems. 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 (Advanced lectures by leading scientists on cyber-physical systems modeling and verification) pg. 272-274.
Auslandsbeauftragter