Sign in
Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks.
A. R. Balasubramanian
Nathalie Bertrand
Nicolas Markey
Published in:
TACAS (2) (2018)
Keyphrases
</>
social networks
general purpose
network structure
network size
low cost
verification method
reconfigurable architecture
data sets
neural network
image processing
multimedia
model checking
complex networks