Automotive System Design with Specification and Verification of Uncertainties.

Christoph Grimm Manfred Dietrich

Published in: FDL (2008)

Keyphrases

formal methods
formal verification
design process
artificial intelligence
database
real time
computer aided
design space
tool suite