From complex specifications to a working prototype. A protocol engineering case study
- Fernández Iglesias, M.J.
- González-Castão, F.J.
- Pousada Carballo, J.M.
- Llamas Nistal, M.
- Romero Feijoo, A.
ISSN: 0302-9743, 1611-3349
ISBN: 9783540417910
Année de publication: 2001
Volumen: 2021 LNCS
Pages: 436-448
Type: Communication dans un congrès