Login / Signup
Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH.
Amalinda Post
Igor Menzel
Jochen Hoenicke
Andreas Podelski
Published in:
Requir. Eng. (2012)
Keyphrases
</>
pattern matching
requirements analysis
pattern detection
real world
application specific
neural network
case study
data model
test bed
user requirements
real time
data mining
information systems
multiscale
human behavior
formal verification