Automotive System Design with Specification and Verification of Uncertainties.

Christoph Grimm, Manfred Dietrich

Browse the full FDL paper archive.