Login / Signup

FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.

Michael GerkeRüdiger EhlersBernd FinkbeinerHans-Jörg Peter
Published in: Infotech@Aerospace (2012)
Keyphrases
  • communication protocol
  • safety critical
  • formal methods
  • information systems
  • machine learning