Login / Signup
A framework for incremental modelling and verification of on-chip protocols.
Peter Böhm
Published in:
FMCAD (2010)
Keyphrases
</>
main contribution
database
databases
distributed systems
theoretical framework
multi party
protocol specification