From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Manuel J. Fernández Iglesias, Francisco J. González-Castaño, José M. Pousada Carballo, Martín Llamas Nistal, Alberto Romero Feijoo. From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study. In José Nuno Oliveira, Pamela Zave, editors, FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings. Volume 2021 of Lecture Notes in Computer Science, pages 436-448, Springer, 2001. [doi]

This author has not been identified. Look up 'Manuel J. Fernández Iglesias' in GoogleThis author has not been identified. Look up 'Francisco J. González-Castaño' in GoogleThis author has not been identified. Look up 'José M. Pousada Carballo' in GoogleThis author has not been identified. Look up 'Martín Llamas Nistal' in GoogleThis author has not been identified. Look up 'Alberto Romero Feijoo' in Google

runs on WebDSL