Formal Reliability Analysis of Switched Ethernet Automotive Networks under Transient Transmission Errors

Smirnov F, Glaß M, Reimann F, Teich J (2016)

Publication Type: Conference contribution

Publication year: 2016

Conference Proceedings Title: Proceedings of the 53nd ACM/EDAC/IEEE Design Automation Conference (DAC 2016)

Event location: Austin US

Authors with CRIS profile

Fedor Smirnov Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Michael Glaß Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Jürgen Teich Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Involved external institutions

Audi Electronics Venture GmbH DE Germany (DE)

How to cite

APA:

Smirnov, F., Glaß, M., Reimann, F., & Teich, J. (2016). Formal Reliability Analysis of Switched Ethernet Automotive Networks under Transient Transmission Errors. In Proceedings of the 53nd ACM/EDAC/IEEE Design Automation Conference (DAC 2016). Austin, US.

MLA:

Smirnov, Fedor, et al. "Formal Reliability Analysis of Switched Ethernet Automotive Networks under Transient Transmission Errors." Proceedings of the 53nd ACM/EDAC/IEEE Design Automation Conference (DAC 2016), Austin 2016.

BibTeX: Download