Login / Signup

Formal Modeling and Analysis of an IETF Multicast Protocol.

Elisabeth LienPeter Csaba Ölveczky
Published in: SEFM (2009)
Keyphrases
  • formal analysis
  • colored petri nets
  • genetic algorithm
  • data analysis
  • statistical analysis