Applying formal passive testing to study temporal properties of the stream control transmission protocol
- Andrés, C.
- Merayo, M.G.
- Núñez, M.
Aktak:
SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods
ISBN: 9780769538709
Argitalpen urtea: 2009
Orrialdeak: 73-82
Mota: Biltzar ekarpena