Sign in

A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code.

Albert BenvenisteTimothy BourkeBenoît CaillaudMarc Pouzet
Published in: EMSOFT (2011)
Keyphrases