Authors: Wolfgang Müller, Universität Paderborn, DE; Fabian Mischkalla, Universität Paderborn, DE
Abstract:
-
Publication Date: 2014/09/29
Location of Publication: International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), Palma de Mallorca, ES
Keyword: Verification
