Laura Brandán Briones


Lecturer
Researcher CONICET (Asistente)
text hidden; JavaScript is required

Publications:

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