Applying formal passive testing to study temporal properties of the stream control transmission protocol
- Andrés, C.
- Merayo, M.G.
- Núñez, M.
Actes de conférence:
SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods
ISBN: 9780769538709
Année de publication: 2009
Pages: 73-82
Type: Communication dans un congrès