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.
Actas:
SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods

ISBN: 9780769538709

Año de publicación: 2009

Páginas: 73-82

Tipo: Aportación congreso

DOI: 10.1109/SEFM.2009.21 GOOGLE SCHOLAR
Fuente de los datos: Scopus