Extended framework for system simulation with affine arithmetic

Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm. Extended framework for system simulation with affine arithmetic. In Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012. pages 168-175, IEEE, 2012. [doi]

Abstract

Abstract is missing.