Login / Signup
Refinement preserving approximations for the design and verification of heterogeneous systems.
Roberto Passerone
Jerry R. Burch
Alberto L. Sangiovanni-Vincentelli
Published in:
Formal Methods Syst. Des. (2007)
Keyphrases
</>
heterogeneous systems
distributed architecture
design process