Login / Signup

A Formal Model for Stateful and Variant-Rich Automotive Functions.

Michael KäßmeyerPeter BazanMarkus SchuriusRüdiger BerndtReinhard German
Published in: ISSRE Workshops (2016)
Keyphrases
  • formal model
  • predicate calculus
  • information retrieval
  • artificial intelligence
  • formal models
  • security patterns
  • neural network
  • real world
  • security properties
  • automotive industry
  • real time
  • data mining
  • model checking