Login / Signup

Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol.

César AndrésMercedes G. MerayoManuel Núñez
Published in: SEFM (2009)
Keyphrases
  • temporal properties
  • formal analysis
  • data streams
  • control system
  • general purpose
  • computational intelligence
  • rough sets