Login / Signup
A unified view of parameterized verification of abstract models of broadcast communication.
Giorgio Delzanno
Published in:
Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
</>
probabilistic model
statistical methods
genetic algorithm
social networks
mobile devices
low level
complex systems
experimental data