|
 
|
[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:
sys
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", | |
| } | |||
