Laura Brandán Briones

Researcher CONICET (Asistente)
text hidden; JavaScript is required


H. Ponce de León, Bonigo, G., and Brandán Briones, L., Distributed analysis of diagnosability in concurrent systems, in Proceedings of the 24th International Workshop on Principles of Diagnosis (DX'13), Jerusalem, Israel, 2013.PDF icon paper-333.pdf (226.67 KB)
L. Brandán Briones, Assume-guarantee Reasoning with ioco Testing Relation, in Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers, 2010, pp. 103-107.PDF icon paper-182.pdf (562.12 KB)
Powered by Drupal