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]

Authors

Christoph Grimm

This author has not been identified. Look up 'Christoph Grimm' in Google

Manfred Dietrich

This author has not been identified. Look up 'Manfred Dietrich' in Google