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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.