From Complex Specifications to a Working Prototype: A Protocol Engineering Case Study
Title | From Complex Specifications to a Working Prototype: A Protocol Engineering Case Study |
Publication Type | Miscellaneous |
Year of Publication | 2001 |
Authors | Fernández-Iglesias, M. J., González-Castaño F. J., Pousada-Carballo J. M., Llamas-Nistal M., & Romero A.. |
Volume | 2021 |
Page(s) | 436-448 |
Other Numbers | 2530 |
Bibliographic Notes | In Lecture Notes in Computer Science, Vol. 2021, pp. 436-448, Springer Verlag |
Abbreviated Authors | M. J. Fernández, J. González, J. M. Pousada, M. Llamas, and A. Romero |
ICSI Research Group | Networking and Security |
ICSI Publication Type | None |