Applying formal passive testing to study temporal properties of the stream control transmission protocol
- Andrés, C.
- Merayo, M.G.
- Núñez, M.
Proceedings:
SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods
ISBN: 9780769538709
Year of publication: 2009
Pages: 73-82
Type: Conference paper