Applying formal passive testing to study temporal properties of the stream control transmission protocol
- Andrés, C.
- Merayo, M.G.
- Núñez, M.
Konferenzberichte:
SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods
ISBN: 9780769538709
Datum der Publikation: 2009
Seiten: 73-82
Art: Konferenz-Beitrag