A zonotopic framework for functional abstractions

Eric Goubault, Sylvie Putot. A zonotopic framework for functional abstractions. Formal Methods in System Design, 47(3):302-360, 2015. [doi]

Abstract

Abstract is missing.