Rechercher

[RIB13] Specification and Verification using Alloy of Optimistic Access Control for Distributed Collaborative Editors

Conférence Internationale avec comité de lecture : 18th International Workshop on Formal Methods for Industrial Critical Systems, Lecture Notes in Computer Science, September 2013, pp.1-6,
motcle:
Résumé: A. Randolph, A. Imine, H. Boucheneb and A. Quintero "Specification and Verification using Alloy of Optimistic Access Control for Distributed Collaborative Editors", 18th International Workshop on Formal Methods for Industrial Critical Systems, Lecture Notes in Computer Science, September 2013.

Equipe: vespa

BibTeX

@inproceedings {
RIB13,
title="{Specification and Verification using Alloy of Optimistic Access Control for Distributed Collaborative Editors}",
author=" A Randolph and A Imine and H. Boucheneb and A Quintero ",
booktitle="{18th International Workshop on Formal Methods for Industrial Critical Systems, Lecture Notes in Computer Science}",
year=2013,
month="September",
pages="1-6",
}