Login / Signup
Successful Use of Incremental BMC in the Automotive Industry.
Peter Schrammel
Daniel Kroening
Martin Brain
Ruben Martins
Tino Teige
Tom Bienmüller
Published in:
FMICS (2015)
Keyphrases
</>
automotive industry
mass customization
requirements engineering
real time
software engineering