Login / Signup

Formal Runtime Error Detection During Development in the Automotive Industry.

Jesko Hecking-HarbuschJochen QuanteMaximilian Schlund
Published in: VMCAI (1) (2024)
Keyphrases
  • automotive industry
  • error detection
  • error correction
  • mass customization
  • requirements engineering
  • expert systems
  • knowledge representation
  • formal methods