Applying formal passive testing to study temporal properties of the stream control transmission protocol
- Andrés, C.
- Merayo, M.G.
- 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