E-Prints Complutense

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 1.

García Merayo, Mercedes y Andrés Sánchez, César y Nuñez García, Manuel (2009) Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol. In SEFM 2009: Seventh International Conference on Software Engineering and Formal Methods. IEEE Computer Soc, LOS ALAMITOS, pp. 73-82. ISBN 978-0-7695-3870-9

Esta lista fue generada el Mon Jan 16 03:00:56 2017 CET.