Behavior-preserving abstraction of ESTEREL programs.

Nir Koblenc Shmuel S. Tyszberowicz

Published in: FedCSIS (2015)

Keyphrases

circuit design
high level
real time
real world
information retrieval
information systems
information technology