An Empirical Verification of Wide Networks Theory.
Dario BalboniDavide BacciuPublished in: BMVC (2022)
Keyphrases
- formal methods
- wide range
- theoretical framework
- model checking
- asynchronous circuits
- computer networks
- network structure
- real time
- network size
- general theory
- complex systems
- computational model
- complex networks
- network model
- theoretical basis
- social networks
- formal verification
- network topologies
- data mining
- database