Login / Signup

Parameterized verification of time-sensitive models of ad hoc network protocols.

Parosh Aziz AbdullaGiorgio DelzannoOthmane RezineArnaud SangnierRiccardo Traverso
Published in: Theor. Comput. Sci. (2016)
Keyphrases
  • network protocols
  • data analysis
  • computational intelligence
  • computer simulation