Login / Signup
Parameterized verification of synchronization in constrained reconfigurable broadcast networks.
A. R. Balasubramanian
Nathalie Bertrand
Nicolas Markey
Published in:
CoRR (2018)
Keyphrases
</>
network analysis
general purpose
network design
social networks
complex networks
formal verification
low cost
community structure
hardware implementation
face verification
interconnection networks
phase locked