Buscar por Palabras clave Formal methods
Mostrando resultados 1 a 1 de 1
Vista previa | Fecha de publicación | Título | Autor(es) | Acceso |
---|---|---|---|---|
2010 | Multicast congestion control srmsh approach using communicating real-time state machines | Martinez Bonastre, Oscar; Neville, S. |