Sign in

Formal models for automotive systems and vehicular networks: Benefits and challenges.

Eduardo dos SantosDominik SchoopAndrew Simpson
Published in: VNC (2016)
Keyphrases
  • formal models
  • formal model
  • rule based systems
  • expert systems
  • distributed systems
  • neural network