33869 articles – 26719 Notices  [english version]
.:. Consultation > Par auteur > Alejandro .:.
2 documents classés par :

Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors
Randolph A., Imine A., Boucheneb H., Alejandro Q.
Dans 18th International Workshop on Formal Methods for Industrial Critical Systems 8187 (2013) 184-198 [hal-00917001 - version 1]
On Consistency of Operational Transformation Approach
Randolph A., Boucheneb H., Imine A., Alejandro Q.
Dans International Workshop on Verification of Infinite-State Systems (INFINITY 2012) (2012) [hal-00760017 - version 1]