The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs

Frédéric Mallet, Julien DeAntoni, Charles André, Robert de Simone. The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs. ISSE, 6(1-2):99-106, 2010. [doi]

Abstract

Abstract is missing.