Login / Signup
Verifying Properties of an Electro-Mechanical Braking System.
Thomas Strathmann
Jens Oehlerking
Published in:
ARCH@CPSWeek (2015)
Keyphrases
</>
electro mechanical
artificial intelligence
association rules
model checking