FlexRay for Avionics: Automatic Verification with Parametric Physical Layers

Michael Gerke 0002, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter. FlexRay for Avionics: Automatic Verification with Parametric Physical Layers. In Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012. 2012. [doi]

Authors

Michael Gerke 0002

This author has not been identified. Look up 'Michael Gerke 0002' in Google

Rüdiger Ehlers

This author has not been identified. Look up 'Rüdiger Ehlers' in Google

Bernd Finkbeiner

This author has not been identified. Look up 'Bernd Finkbeiner' in Google

Hans-Jörg Peter

This author has not been identified. Look up 'Hans-Jörg Peter' in Google