Applying formal passive testing to study temporal properties of the stream control transmission protocol

  1. Andrés, C.
  2. Merayo, M.G.
  3. Núñez, M.
Actes:
SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods

ISBN: 9780769538709

Any de publicació: 2009

Pàgines: 73-82

Tipus: Aportació congrés

DOI: 10.1109/SEFM.2009.21 GOOGLE SCHOLAR