Skip to content

Extended framework for system simulation with affine arithmetic.

Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm

VenueCFDL
Year2012
ProceedingsFDL

Browse the full FDL paper archive.