Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero
Communication écrite (2013)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
ISBN:
9783642410093
Adresse URL de PolyPublie:
Nom de la conférence:
18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013)
Lieu de la conférence:
Madrid, Spain
Date(s) de la conférence:
2013-09-23 - 2013-09-24
Maison d'édition:
Springer-Verlag
URL officielle:
OAI:
oai:publications.polymtl.ca:13224
ORCID
Date du dépôt:
18 avr. 2023 15:10
Dernière modification:
14 oct. 2026 11:13
Citer en APA 7:
Randolph, A., Imine, A., Boucheneb, H., & Quintero, A. (septembre 2013). Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors [Communication écrite]. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013), Madrid, Spain. https://doi.org/10.1007/978-3-642-41010-9_13
Statistiques
Dimensions
