Login / Signup
Specification, Synthesis, and Simulation of Transactor Processes.
Felice Balarin
Roberto Passerone
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2007)
Keyphrases
</>
high level
mathematical model
simulation environment
program synthesis
data mining
mobile robot
probability distribution