- 82
- 8
- 1
Christian Attiogbé
Full Professor,
Nantes University -
Computer Science Department IUT Nantes -
LS2N (UMR CNRS 6004)
60%
Libre accès
91
Documents
Affiliations actuelles
- 1135126
- 1097347
Identifiants chercheurs
- christian-attiogbe
- 0000-0002-7815-1752
- IdRef : 073264555
Présentation
Une liste de publications de travaux de recherche, extraites de HAL (archives-ouvertes).
Une liste de publications de travaux de recherche, extraites de HAL (archives-ouvertes).
Domaines de recherche
Génie logiciel [cs.SE]
Compétences
Languages - Operating Systems - Networks - Formal methods for Software Engineering
Publications
- 9
- 7
- 7
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 16
- 11
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 7
- 10
- 3
- 3
- 4
- 1
- 1
- 3
- 2
- 5
- 5
- 6
- 7
- 9
- 8
- 4
- 4
- 1
- 57
- 32
- 5
- 3
- 1
Correctness of IoT-based systems: From a DSL to a mechanised analysisJournal of Computer Languages, 2023, 77, pp.101239. ⟨10.1016/j.cola.2023.101239⟩
Article dans une revue
hal-04240187v1
|
|
|
Service Promotion in a Federation of Security DomainsRevue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2021, Volume 34 - 2020 - Special Issue CARI 2020, ⟨10.46298/arima.6757⟩
Article dans une revue
hal-02928753v4
|
A tool-assisted method for the systematic construction of critical embedded systems using Event-BComputer Science and Information Systems, 2019, 00, pp.42-42. ⟨10.2298/CSIS190501042A⟩
Article dans une revue
hal-02468473v1
|
|
|
A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible ModelsModel-Driven Engineering and Software Development, 2019, 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
Article dans une revue
hal-02075980v1
|
An Improved Model Facet Method to Support EA AlignmentComplex Systems Informatics and Modeling Quarterly, 2016, 9, pp.1 - 27. ⟨10.7250/csimq.2016-9.01⟩
Article dans une revue
hal-01686322v1
|
|
|
Kmelia : un modèle abstrait et formel pour la description et la composition de compo-sants et de servicesRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, Technique et Science Informatiques, 30 (6), pp.627-658. ⟨10.3166/tsi.30.627-658⟩
Article dans une revue
hal-01147205v1
|
Using Assertions to Enhance the Correctness of Kmelia Components and their AssembliesElectronic Notes in Theoretical Computer Science, 2010, 263, pp.5-30. ⟨10.1016/j.entcs.2010.05.002⟩
Article dans une revue
hal-00505336v1
|
|
|
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal DatatypesIEEE Transactions on Software Engineering, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩
Article dans une revue
hal-00470280v1
|
|
Adaptation for Hierarchical Components and ServicesElectronic Notes in Theoretical Computer Science, 2007, 189, pp.5--20. ⟨10.1016/j.entcs.2007.05.045⟩
Article dans une revue
hal-00423697v1
|
Analyzing the Readers/Writers System Using the B Theorem ProverGESTS International Transaction on Computer Science and Engineering, 2005, 7 (1), pp.87--98
Article dans une revue
hal-00444072v1
|
|
MIAOw: a Method to Integrate a Process Algebra with Formal DataInformatica, 2004, 28 (2), pp.207--219
Article dans une revue
hal-00444078v1
|
Architectural Invariants and Correctness of IoT-Based SystemsModel and Data Engineering (MEDI'2022), Nov 2022, Cairo, Egypt. pp.75-88, ⟨10.1007/978-3-031-23119-3_6⟩
Communication dans un congrès
hal-04093777v1
|
|
Multi-facets Contract for Modeling and Verifying Heterogeneous SystemsModel and Data Engineering (MEDI'2021), Jun 2021, Tallinn, Estonia. pp.41-49, ⟨10.1007/978-3-030-78428-7_4⟩
Communication dans un congrès
hal-04093796v1
|
|
|
Service Promotion in a Federation of Security DomainsColloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, Oct 2020, Thiès, Senegal
Communication dans un congrès
hal-02909605v2
|
|
Model checking paramétrique statistique du plan de vol de drone civilMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
Communication dans un congrès
hal-02432687v1
|
Federation of Services from Autonomous Domains with Heterogeneous Access Control Models18th International Information Security for South Africa Conference, Aug 2019, Johanesbourg, South Africa
Communication dans un congrès
hal-02468264v1
|
|
|
Alignement des points de vue du système d'information Une approche pragmatiqueActes du XXXVIème Congrès INFORSID, May 2018, Nantes, France
Communication dans un congrès
hal-02468406v1
|
A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible ModelsModel-Driven Engineering and Software Development - 6th International Conference, (MODELSWARD) 2018 - revised selected papers, Jan 2018, Funchal, Portugal. pp.9-33, ⟨10.1007/978-3-030-11030-7_2⟩
Communication dans un congrès
hal-02010874v1
|
|
|
Extending OpenAPI 3.0 to Build Web Services from their SpecificationInternational Conference on Web Information Systems and Technologies, INSTICC, Sep 2018, Seville, Spain
Communication dans un congrès
hal-01868498v1
|
|
Building Correct SDN Components from a Global Event-B Formal ModelFormal Aspects of Component Software, Oct 2018, Pohang, South Korea. pp.35-53, ⟨10.1007/978-3-030-02146-7_2⟩
Communication dans un congrès
hal-01949913v1
|
A Model-Driven Method for Fast Building Consistent Web Services in Practice17ièmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France
Communication dans un congrès
hal-02009658v1
|
|
|
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams13th International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Portugal. pp.275-282, ⟨10.5220/0006708102750282⟩
Communication dans un congrès
hal-02090259v1
|
|
Systematic Construction of Critical Embedded Systems Using Event-BNew Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. ⟨10.1007/978-3-030-02852-7_18⟩
Communication dans un congrès
hal-01929259v1
|
|
Virtual Extension of Meta-models with Facet Tools6th International Conference on Model-Driven Engineering and Software Development, Jan 2018, Funchal, Portugal. ⟨10.5220/0006547100590070⟩
Communication dans un congrès
hal-01911500v1
|
|
A Model-Driven Method for Fast Building Consistent Web Services in PracticeMODELSWARD, INSTICC, Jan 2018, Funchal, Portugal
Communication dans un congrès
hal-01654287v3
|
|
A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments12th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, France. ⟨10.5220/0006314100470056⟩
Communication dans un congrès
hal-01686265v1
|
Mastering Heterogeneous Behavioural ModelsModel and Data Engineering - 7th International Conference, (MEDI'2017), Oct 2017, Barcelona, Spain
Communication dans un congrès
hal-01686306v1
|
|
|
Combining Techniques to Verify Service-based ComponentsMODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development , Feb 2017, Porto, Portugal. pp.645 - 656, ⟨10.5220/0006212106450656⟩
Communication dans un congrès
hal-01628303v1
|
Mapping Component Models on Distributed Architectures: Correctness Checking13th Workshop on Model-Driven Engineering, Verification and Validation co-located with MODELS-2016, Oct 2016, Saint-Malo, France
Communication dans un congrès
hal-01686376v1
|
|
|
Refinement of UML2.0 Sequence Diagrams for Distributed Systemsthe 11th International Joint Conference on Software Technologies {(ICSOFT} 2016), Jul 2016, Lisbon, Portugal
Communication dans un congrès
hal-01686331v1
|
A Method for Business-IT Alignment of Legacy Systems17th International Conference on Enterprise Information Systems, Apr 2015, Barcelona, France. ⟨10.5220/0005351502290237⟩
Communication dans un congrès
hal-01911502v1
|
|
Deriving Event-B Models from Mealy Machines: Application to an Auction SystemModel and Data Engineering - 5th International Conference, (MEDI'2015), Sep 2015, Rhodes, Greece. pp.77-88, ⟨10.1007/978-3-319-23781-7_7⟩
Communication dans un congrès
hal-02500377v1
|
|
|
Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems10th International Conference on Software Engineering and Applications, Jul 2015, Colmar, France. ⟨10.5220/0005517703390347⟩
Communication dans un congrès
hal-01686275v1
|
|
Modelling and Verifying an Evolving Distributed Control System Using an Event-Based ApproachISoLA'2014 - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, B. Steffen & T. Margaria, Oct 2014, Corfu, Greece. pp.573 - 587, ⟨10.1007/978-3-662-45231-8_48⟩
Communication dans un congrès
hal-01083188v1
|
|
Partial Test Oracle in Model Transformation TestingInternational Conference on Model Transformation (ICMT), Jun 2013, Budapest, Hungary. pp.978-3-642-38882-8, ⟨10.1007/978-3-642-38883-5⟩
Communication dans un congrès
hal-00823231v1
|
|
Filtered Comparison for Oracle in ModelTransformation TestingICTSS 2012 Ph.D. Workshop, Nov 2012, Aalborg, Denmark. pp.1601-0590
Communication dans un congrès
hal-00918590v1
|
Poster : Comparaison de modèles filtrée pour le test de transformations de modèlesJournées du GDR GPL, Jun 2012, Rennes, France. pp.978-2-9527630-3-5
Communication dans un congrès
hal-00920300v1
|
|
Comparaison de Modèles Filtrée pour le Test de Transformations de ModèlesCIEL 2012, 2012, Rennes, France
Communication dans un congrès
hal-00726538v1
|
|
Contract-based Verification of Kmelia Component Assemblies using Event-BFESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1
Communication dans un congrès
hal-00483755v1
|
|
Preuve de cohérence de composants Kmelia à l'aide de la méthode B4e Conférence Francophone sur les Architectures Logicielles, Mar 2010, Pau, France. pp.113-126
Communication dans un congrès
hal-00487359v1
|
|
Multi-levels Use of Contracts for Trusted ComponentsWorkshop on Component and Service Interoperability, Jun 2010, Malaga, Spain. pp.71-85, ⟨10.4204/EPTCS.37⟩
Communication dans un congrès
hal-00488125v1
|
|
|
Using Event-B to Verify the Kmelia Components and Their AssembliesABZ'2010, Feb 2010, Oreford, Canada. pp.410, ⟨10.1007/978-3-642-11811-1_43⟩
Communication dans un congrès
hal-00483236v1
|
|
Can Component/Service-Based Systems Be Proved Correct?Conference on Current Trends in Theory and Practice of Computer Science, Czech Republic, Jan 2009, Spindleruv Mlýn,, Czech Republic. pp.3-18, ⟨10.1007/978-3-540-95891-8_2⟩
Communication dans un congrès
hal-00420051v1
|
Modelling and Analysing Dynamic Decentralised SystemsInternational Symposium on Dependable Computing (PRDC 2009), Nov 2009, Shanghai, China. pp.109-114, ⟨10.1109/PRDC.2009.9⟩
Communication dans un congrès
hal-00420009v1
|
|
Semantic Embedding of Petri Nets into Event-BIntegration of Model-based Formal Methods Tools (IM_FMT @ IFM'2009), Mar 2009, Dusseldorf, Germany
Communication dans un congrès
hal-00483237v1
|
|
|
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands
Communication dans un congrès
hal-00423672v1
|
|
Correction d'assemblages de composants impliquant des interfaces paramétrées3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44
Communication dans un congrès
hal-00423658v1
|
|
Mastering Specification Heterogeneity with Multifacet AnalysisModeling, Validation, and Heterogeneity (MoVaH @ ICST'08), Apr 2008, Lillehammer, Norway
Communication dans un congrès
hal-00482872v1
|
|
Event-Based Approach to Modeling Dynamic Architecture: Appliocation to Mobile Ad Hoc NetworkISoLA 2008, Oct 2008, Porto-sani, Greece. pp.769-781, ⟨10.1007/978-3-540-88479-8_55⟩
Communication dans un congrès
hal-00420017v1
|
|
A Formal Analysis Toolbox for the Kmelia Component ModelProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25
Communication dans un congrès
hal-00423690v1
|
|
Defining Component Protocols with Service Composition: Illustration with the Kmelia ModelSoftware Composition, 6th International Symposium, SC 2007, Mar 2007, Braga, Portugal. pp.2-17, ⟨10.1007/978-3-540-77351-1⟩
Communication dans un congrès
hal-00397713v1
|
|
Protocoles d'utilisation de composants : spécification et analyse en Kmelia13e Conférence Francophone sur les Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.19-34
Communication dans un congrès
hal-00423643v1
|
|
Protocoles d'utilisation de composants : spécification et analyse en Kmelia1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118
Communication dans un congrès
hal-00423665v1
|
Combining B Tools for Multi-Process Systems SpecificationAfrican Conference on Research in Computer Science (CARI'2006), Nov 2006, Cotonou, Benin. p. 35--42
Communication dans un congrès
hal-00482855v1
|
|
|
Checking Component Composability5th International Symposium on Software Composition, Mar 2006, Vienne, Austria. pp.18-33, ⟨10.1007/11821946⟩
Communication dans un congrès
hal-00397694v1
|
|
Composing Components with Shared Services in the Kmelia ModelSoftware Composition, 7th International Symposium, SC 2008, Mar 2006, Budapest, Hungary. pp.125-140, ⟨10.1007/978-3-540-78789-1_9⟩
Communication dans un congrès
hal-00423639v1
|
Vérification d'assemblage de composants logiciels Expérimentations avec MEC6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. pp.497--506
Communication dans un congrès
hal-00458119v1
|
|
Multi-process Systems Analysis Using Event B: Application to Group Communication SystemsICFEM'2006, Nov 2006, Macao, China. pp.660-677
Communication dans un congrès
hal-00420015v1
|
|
|
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).IASTED Conf. on Software Engineering (SE'2006), Feb 2006, Innsbruck, Austria. pp.85-90
Communication dans un congrès
hal-00420050v1
|
Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis31st Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'05, 2005, Liptovsky Jan, Slovakia, Slovakia. pp.1--10
Communication dans un congrès
hal-00458165v1
|
|
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract SystemsZB 2005: Formal Specification and Development in Z and B, Apr 2005, Guildford, United Kingdom. pp.124-141, ⟨10.1007/b135596⟩
Communication dans un congrès
hal-00421161v1
|
|
Behavioural Verification of Service CompositionICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84
Communication dans un congrès
hal-00458120v1
|
|
Vérification de conformité des interactions entre composantsLMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6
Communication dans un congrès
hal-00458121v1
|
|
Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN4th International Conference on Information and Communication Technologies: from Theory to Applications, ICTTA'04, 2004, Damscus, Syria, Syria. pp.581 -- 587
Communication dans un congrès
hal-00458200v1
|
|
A Mechanically Proved Development Combining B Abstract Systems and SpinFourth International Conference on Quality Software QSIC'2004, Sep 2004, Braunschweig, Germany. pp.42 - 49, ⟨10.1109/QSIC.2004.1357943⟩
Communication dans un congrès
hal-00421162v1
|
|
Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams{8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France. pp.240a
Communication dans un congrès
hal-00458164v1
|
|
Formalising an Integrated Language in PVS5th International Conference on Formal Engineering Methods, ICFEM 2003, 2003, Singapore, Singapore. pp.187--205
Communication dans un congrès
hal-00458175v1
|
|
Integration of Formal Datatypes within State DiagramsFundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355
Communication dans un congrès
hal-00458163v1
|
|
Intégration de données formelles dans les diagrammes d'états d'UMLApproches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17
Communication dans un congrès
hal-00458199v1
|
|
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS4th International Conference on Formal Engineering Methods, ICFEM'2002, Oct 2002, Shanghai, China. pp.120-131, ⟨10.1007/3-540-36103-0_15⟩
Communication dans un congrès
hal-00421160v1
|
From Research to Teaching Formal Methods: The B Method (TFM-B'2008)Université de Nantes, pp.147, 2008
Ouvrages
hal-00483735v1
|
|
From Research to Teaching Formal Methods: The B Method - TFM-B'2009Université de Nantes, pp.134, 2008
Ouvrages
hal-00481604v1
|
|
L'Objet : Composants, services et aspectsLavoisier, Hermes, pp.128, 2008
Ouvrages
hal-00482908v1
|
|
Composants, services et aspects Techniques et outils pour la vérificationHermès - Lavoisier, pp.130, 2008
Ouvrages
hal-00457209v1
|
|
First International Workshop on Property Verification for Software Components and ServicesETH Zurich, pp.72, 2007
Ouvrages
hal-00481603v1
|
Definition and Visualization of Virtual Meta-model Extensions with a Facet FrameworkModel-Driven Engineering and Software Development - 6th International Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers, 991, Springer, pp.106-133, 2019, Communications in Computer and Information Science book series (CCIS, volume 991), ⟨10.1007/978-3-030-11030-7_6⟩
Chapitre d'ouvrage
hal-02090263v1
|
|
|
An Operational Semantics of UML2.X Sequence Diagrams for Distributed SystemsEvaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers, pp.158-182, 2018, ⟨10.1007/978-3-319-94135-6_8⟩
Chapitre d'ouvrage
hal-02091932v1
|
A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization2005
Autre publication scientifique
hal-00458116v1
|
|
Semantic Embedding of Petri Nets into Event-B2005
Autre publication scientifique
hal-00458166v1
|
|
Vérification de conformité des interactions entre composants2005
Autre publication scientifique
hal-00458115v1
|
|
Towards a Generic Analysis and Design Framework: the KEPU Information System (NatIF Project)2004
Autre publication scientifique
hal-00458168v1
|
|
Combining B Tools for Multi-Process Systems Specification2006
Pré-publication, Document de travail
hal-00023152v1
|
|
A Service-Based Component Model: Formalism, Analysis and Mechanization2006
Pré-publication, Document de travail
hal-00023153v1
|
|
Proceedings ”Approches formelles dans l’assistance au développement du logiciel (AFADL)", Vannes, 2022LS2N-Nantes Université; LMF-Univesité Paris Saclay. 2022
Rapport
hal-04556748v1
|
|
Federated Access Control in Service Oriented Architecture[Research Report] LS2N, Université de Nantes. 2019
Rapport
hal-02103825v1
|
|
Test Cases Evolution of Mobile Applications[Research Report] Université de Nantes. 2015
Rapport
hal-01271467v1
|
|
Dynamic Composition of Evolving Process Types[Research Report] LINA-University of Nantes. 2011, pp.24
Rapport
hal-00655017v1
|
|
Contributions aux approches formelles de développement de logiciels : Intégration de méthodes formelles et analyse multifacetteGénie logiciel [cs.SE]. Université de Nantes, 2007
HDR
tel-00481602v1
|
Model and Data Engineering12732, Springer International Publishing, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-78428-7⟩
Proceedings/Recueil des communications
hal-04093812v1
|
|
Advances and Challenges for Model and Data EngineeringJournal of Universal Computer Science, 27 (7), pp.646-649, 2021, ⟨10.3897/jucs.70972⟩
Proceedings/Recueil des communications
hal-04093790v1
|
|
New Trends in Model and Data Engineering (MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT)Communications in Computer and Information Science, 1085, Springer International Publishing, 2019, Communications in Computer and Information Science, 978-3-030-32212-0. ⟨10.1007/978-3-030-32213-7⟩
Proceedings/Recueil des communications
hal-02468186v1
|