-
1دورية أكاديمية
المؤلفون: Guetmi, Nadir, Imine, Abdessamad
المساهمون: Laboratoire d'informatique et d'automatique pour les systèmes EA 6315 (LIAS Poitiers ), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Ingénierie des Données et des moDèles (IDD), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA )-Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ISSN: 1751-5858.
مصطلحات موضوعية: cloning middleware, synchronisation, mobile data sharing, mobile cloud computing, MCC, cloud pattern, Collaboration, Synchronization, [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
العلاقة: hal-01651504; https://inria.hal.science/hal-01651504Test; https://inria.hal.science/hal-01651504/documentTest; https://inria.hal.science/hal-01651504/file/journal_version.pdfTest
الإتاحة: https://doi.org/10.1504/IJIIDS.2017.10007786Test
https://inria.hal.science/hal-01651504Test
https://inria.hal.science/hal-01651504/documentTest
https://inria.hal.science/hal-01651504/file/journal_version.pdfTest -
2دورية أكاديمية
المؤلفون: Guetmi, Nadir, Imine, Abdessamad
المساهمون: Laboratoire d'informatique et d'automatique pour les systèmes EA 6315 (LIAS Poitiers ), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Ingénierie des Données et des moDèles (IDD), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA )-Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA ), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ISSN: 1751-5858.
مصطلحات موضوعية: cloning middleware, synchronisation, mobile data sharing, mobile cloud computing, MCC, cloud pattern, Collaboration, Synchronization, [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
العلاقة: hal-01651504; https://inria.hal.science/hal-01651504Test; https://inria.hal.science/hal-01651504/documentTest; https://inria.hal.science/hal-01651504/file/journal_version.pdfTest
الإتاحة: https://doi.org/10.1504/IJIIDS.2017.10007786Test
https://inria.hal.science/hal-01651504Test
https://inria.hal.science/hal-01651504/documentTest
https://inria.hal.science/hal-01651504/file/journal_version.pdfTest -
3تقرير
المؤلفون: Bao Thien, Hoang, Imine, Abdessamad
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), INRIA
المصدر: https://inria.hal.science/hal-00727599Test ; [Research Report] RR-8055, INRIA. 2012.
مصطلحات موضوعية: Privacy, Social networks, Polling protocol, Secret sharing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
العلاقة: Report N°: RR-8055; hal-00727599; https://inria.hal.science/hal-00727599Test; https://inria.hal.science/hal-00727599v2/documentTest; https://inria.hal.science/hal-00727599v2/file/main.pdfTest
-
4تقرير
المؤلفون: Bao Thien, Hoang, Imine, Abdessamad
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), INRIA
المصدر: https://inria.hal.science/hal-00727599Test ; [Research Report] RR-8055, INRIA. 2012.
مصطلحات موضوعية: Privacy, Social networks, Polling protocol, Secret sharing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
العلاقة: Report N°: RR-8055; hal-00727599; https://inria.hal.science/hal-00727599Test; https://inria.hal.science/hal-00727599v2/documentTest; https://inria.hal.science/hal-00727599v2/file/main.pdfTest
-
5تقرير
المؤلفون: Bao Thien, Hoang, Imine, Abdessamad
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), INRIA
المصدر: https://hal.inria.fr/hal-00727599Test ; [Research Report] RR-8055, INRIA. 2012.
مصطلحات موضوعية: Privacy, Social networks, Polling protocol, Secret sharing, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
العلاقة: Report N°: RR-8055; hal-00727599; https://hal.inria.fr/hal-00727599Test; https://hal.inria.fr/hal-00727599v2/documentTest; https://hal.inria.fr/hal-00727599v2/file/main.pdfTest
-
6تقرير
المؤلفون: Imine, Abdessamad, Cherif, Asma, Rusinowitch, Michaël
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), INRIA
المصدر: https://inria.hal.science/inria-00381941Test ; [Research Report] RR-6939, INRIA. 2009, pp.20.
مصطلحات موضوعية: access control, optimistic replication, distributed collaborative editors, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
العلاقة: Report N°: RR-6939; inria-00381941; https://inria.hal.science/inria-00381941Test; https://inria.hal.science/inria-00381941v2/documentTest; https://inria.hal.science/inria-00381941v2/file/RR-6939.pdfTest
-
7تقرير
المؤلفون: Imine, Abdessamad, Cherif, Asma, Rusinowitch, Michaël
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), INRIA
المصدر: https://inria.hal.science/inria-00381941Test ; [Research Report] RR-6939, INRIA. 2009, pp.20.
مصطلحات موضوعية: access control, optimistic replication, distributed collaborative editors, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
العلاقة: Report N°: RR-6939; inria-00381941; https://inria.hal.science/inria-00381941Test; https://inria.hal.science/inria-00381941v2/documentTest; https://inria.hal.science/inria-00381941v2/file/RR-6939.pdfTest
-
8تقرير
المؤلفون: Imine, Abdessamad, Cherif, Asma, Rusinowitch, Michaël
المساهمون: Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), INRIA
المصدر: https://hal.inria.fr/inria-00381941Test ; [Research Report] RR-6939, INRIA. 2009, pp.20.
مصطلحات موضوعية: access control, optimistic replication, distributed collaborative editors, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
العلاقة: Report N°: RR-6939; inria-00381941; https://hal.inria.fr/inria-00381941Test; https://hal.inria.fr/inria-00381941v2/documentTest; https://hal.inria.fr/inria-00381941v2/file/RR-6939.pdfTest
-
9تقرير
المؤلفون: Boucheneb, Hanifa, Imine, Abdessamad
المساهمون: Laboratoire VeriForm - Department of Computer Engineering (VeriForm), École Polytechnique de Montréal (EPM), Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), INRIA
المصدر: https://inria.hal.science/inria-00274423Test ; [Research Report] RR-6510, INRIA. 2008, pp.49.
مصطلحات موضوعية: Operational transformation algorithms, Copies convergence, Model-checking, on-the-fly approach, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/0804.3023; Report N°: RR-6510; inria-00274423; https://inria.hal.science/inria-00274423Test; https://inria.hal.science/inria-00274423v2/documentTest; https://inria.hal.science/inria-00274423v2/file/RR-6510.pdfTest; ARXIV: 0804.3023
-
10تقرير
المؤلفون: Boucheneb, Hanifa, Imine, Abdessamad
المساهمون: Laboratoire VeriForm - Department of Computer Engineering (VeriForm), École Polytechnique de Montréal (EPM), Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), INRIA
المصدر: https://inria.hal.science/inria-00274423Test ; [Research Report] RR-6510, INRIA. 2008, pp.49.
مصطلحات موضوعية: Operational transformation algorithms, Copies convergence, Model-checking, on-the-fly approach, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
العلاقة: info:eu-repo/semantics/altIdentifier/arxiv/0804.3023; Report N°: RR-6510; inria-00274423; https://inria.hal.science/inria-00274423Test; https://inria.hal.science/inria-00274423v2/documentTest; https://inria.hal.science/inria-00274423v2/file/RR-6510.pdfTest; ARXIV: 0804.3023