An exploratory study on improving automotive function specifications.

Andreas Vogelsang

Published in: CESI (2014)

Keyphrases

high level
data sets
digital libraries
data mining
special case
formal specification
delay insensitive