Optimizations for Faster Execution of Esterel Programs

Formal Methods and Models for System Design ◽

10.1007/978-1-4020-8052-4_11 ◽

2004 ◽

pp. 285-315

Author(s):

Dumitru Potop-Butucaru ◽

Robert de Simone

Download Full-text