Automotive System Design with Specification and Verification of Uncertainties

Christoph Grimm, Manfred Dietrich. Automotive System Design with Specification and Verification of Uncertainties. In Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings. pages 245-246, IEEE, 2008. [doi]

Abstract

Abstract is missing.