-
1Conference
المؤلفون: Zhang, Liwen, Pingaud, Hervé, Lamine, Elyes, Fontanili, Franck, Bortolaso, Christophe, Derras, Mustapha
المساهمون: Centre Génie Industriel (CGI), IMT École nationale supérieure des Mines d'Albi-Carmaux (IMT Mines Albi), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Berger-Levrault, Institut national universitaire Champollion Albi (INUC), Université de Toulouse (UT), Laboratoire de Génie Chimique (LGC), Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP)
المصدر: hal-03236841 CIGI-Qualita21 : 14ème Conférence Internationale Génie Industriel QUALITA ; CIGI-Qualita21 : 14ème Conférence Internationale Génie Industriel QUALITA ; https://imt-mines-albi.hal.science/hal-03332025 ; CIGI-Qualita21 : 14ème Conférence Internationale Génie Industriel QUALITA, May 2021, Grenoble (à distance), France. pp.93-101 ; https://cigi-qualita21.sciencesconf.org/
مصطلحات موضوعية: Model Driven Engineering, Decision making, Operations Management, Operations Research, Travelling Salesman Problem, Meta modeler, Gestion des opérations, Recherche Opérationnelle, Problème du Voyageur de Commerce, Outils de méta modélisation, Ingénierie Dirigée par les Modèles, Aide à la décision, [SPI]Engineering Sciences [physics]
جغرافية الموضوع: France
Time: Grenoble (à distance), France
-
2Conference
المؤلفون: Bodeveix, Jean-Paul, Filali, M
المساهمون: Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Alexander Raschke, Dominique Méry, ANR-19-CE25-0010,EBRP-EventB-Rodin-Plus,Enrichissement de EventB et de RODIN : EventB-Rodin-Plus(2019)
المصدر: Rigorous State-Based Methods ; Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings ; ISBN: 978-3-030-77543-8 ; 8th International Conference on Rigorous State-Based Methods (ABZ 2021) ; https://hal.science/hal-03411227 ; 8th International Conference on Rigorous State-Based Methods (ABZ 2021), Jun 2021, Ulm, Germany. pp.66-80, ⟨10.1007/978-3-030-77543-8_5⟩ ; https://link.springer.com/chapter/10.1007%2F978-3-030-77543-8_5
مصطلحات موضوعية: Formal methods, Event-B, Meta modelisation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: hal-03411227; https://hal.science/hal-03411227; https://hal.science/hal-03411227/document; https://hal.science/hal-03411227/file/Event-B%20Formalization%20Of%20Event-B%20Context.pdf
-
3Academic Journal
المؤلفون: Paris, Jean-Luc, Chazoule, Carole, Désolé, Mathieu, Brulard, Nicolas, Fournier, Stéphane, Trognon, Laurent, Devise, Olivier
المساهمون: Institut Pascal (IP), Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne), Université Clermont Auvergne (UCA)-Université Clermont Auvergne (UCA), Isara, Laboratoire d'Études Rurales (LER), Université Lumière - Lyon 2 (UL2), Chercheur indépendant, Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Innovation et Développement dans l'Agriculture et l'Alimentation (UMR Innovation), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro - Montpellier SupAgro, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Territoires (Territoires), AgroParisTech-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Université Clermont Auvergne (UCA)
المصدر: ISSN: 2632-5993 ; Génie industriel et productique ; https://uca.hal.science/hal-03474810 ; Génie industriel et productique, 2021, 4 (1), ⟨10.21494/ISTE.OP.2021.0750⟩.
مصطلحات موضوعية: Proximity food system, system engineering, meta-modeling, requirements diagram, performance indicators, système alimentaire de proximité, ingénierie système, méta-modélisation, diagramme des exigences, indicateurs de performance, [PHYS.MECA.MEMA]Physics [physics]/Mechanics [physics]/Mechanics of materials [physics.class-ph]
Relation: hal-03474810; https://uca.hal.science/hal-03474810; https://uca.hal.science/hal-03474810/document; https://uca.hal.science/hal-03474810/file/Paris%20ISTE%20Open%20Science%20Definition.%20EDITEUR.pdf
-
4Dissertation/ Thesis
المؤلفون: Mesli-Kesraoui, Ouissem, Mesli
المساهمون: Laboratoire d'informatique et d'automatique pour les systèmes (LIAS Poitiers ), Université de Poitiers = University of Poitiers (UP)-École Nationale Supérieure de Mécanique et d’Aérotechnique Poitiers (ISAE-ENSMA), ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, Patrick Girard, Pascal Berruet, Emmanuel Grolleau, Yassine Ouhammou, Soraya Kesraoui
المصدر: https://theses.hal.science/tel-04829475 ; Autre [cs.OH]. ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2024. Français. ⟨NNT : 2024ESMA0017⟩.
مصطلحات موضوعية: SCADA (Supervisory Control and Data Aqcquisition), Industrial tests, Makespan minimisation, Meta-modeling, Command sequences, Formal verification, XDSML, Mode handling, SCADA (Système de contrôle et d'acquisition de données), Tests industriels, Minimisation de makespan, Méta-modélisation, Séquences de commande, Vérification formelle, Gestion des modes, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: NNT: 2024ESMA0017
-
5Dissertation/ Thesis
المؤلفون: Singh, Neeraj Kumar
المساهمون: Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Toulouse INP, Saddek Bensalem, ANR-17-CE25-0005,DISCONT,Intégration correcte de modèles discrets et continus(2017), ANR-16-CE25-0007,FORMEDICIS,Méthodes formelles pour le développement et l'ingénierie de systèmes interactifs critiques(2016), ANR-19-CE25-0010,EBRP-EventB-Rodin-Plus,Enrichissement de EventB et de RODIN : EventB-Rodin-Plus(2019)
المصدر: https://hal.science/tel-04695651 ; Computer Science [cs]. Toulouse INP, 2024.
مصطلحات موضوعية: Formal methods, Safety-Critical, Event-B, Refinement and Proof, Certification, Cyber Physical Systems, System Modelling, Domain Knowledge Engineering, Meta-modelling, Méthodes formelles, Raffinement et preuve, Systèmes cyber-physiques, Modélisation du système, Ingénierie de la connaissance des domaines, Méta-modélisation, [INFO]Computer Science [cs], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: tel-04695651; https://hal.science/tel-04695651; https://hal.science/tel-04695651/document; https://hal.science/tel-04695651/file/HDR_Singh_2024.pdf
-
6Dissertation/ Thesis
المؤلفون: Gasse, Baptiste
المساهمون: Service d’Études des Réacteurs et de Mathématiques Appliquées (SERMA), Département de Modélisation des Systèmes et Structures (DM2S), Institut des Sciences Appliquées et de la Simulation pour les énergies bas carbone (ISAS), CEA-Direction des Energies (ex-Direction de l'Energie Nucléaire) (CEA-DES (ex-DEN)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-CEA-Direction des Energies (ex-Direction de l'Energie Nucléaire) (CEA-DES (ex-DEN)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Institut des Sciences Appliquées et de la Simulation pour les énergies bas carbone (ISAS), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Université Paris-Saclay, Cheikh M'Backé Diop, Sébastien Verel, Jean-Michel Do
المصدر: https://theses.hal.science/tel-04547402 ; Energie électrique. Université Paris-Saclay, 2024. Français. ⟨NNT : 2024UPASP004⟩.
مصطلحات موضوعية: Reactor Physics, Simulation, Optimization, Meta-Modeling, Energetic transition, Physique des réacteurs, Optimisation, Méta-Modélisation, Transition énergétique, [SPI.NRJ]Engineering Sciences [physics]/Electric power, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Relation: NNT: 2024UPASP004
-
7Dissertation/ Thesis
المؤلفون: Gasse, Baptiste
المساهمون: université Paris-Saclay, Diop, Cheikh M'Backé, Verel, Sébastien, Do, Jean-Michel
-
8Report
المؤلفون: Lambert, Stéphane
المساهمون: Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Univ. Grenoble Alpes, Olivier Gagliardini
المصدر: https://hal.science/tel-03048918 ; [Research Report] Univ. Grenoble Alpes. 2020.
مصطلحات موضوعية: rockfall, debris flows, protection, embankment, flexible barriers, experiments, impact, numerical modeling, meta-modeling, discrete element methods, chute de blocs, Laves torrentielles, merlon, filets, expérimentations, Modélisation numérique, méta-modélisation, méthode aux éléments discrets, [SPI]Engineering Sciences [physics]
Relation: tel-03048918; https://hal.science/tel-03048918; https://hal.science/tel-03048918/document; https://hal.science/tel-03048918/file/S%20Lambert%20HDR%20dissertation%20public.pdf
-
9Conference
المؤلفون: Colas, Floriane, Gauchi, Jean-Pierre, Villerd, Jean, Colbach, Nathalie
المساهمون: Agroécologie Dijon, Institut National de la Recherche Agronomique (INRA)-Université de Bourgogne (UB)-AgroSup Dijon - Institut National Supérieur des Sciences Agronomiques, de l'Alimentation et de l'Environnement-Université Bourgogne Franche-Comté COMUE (UBFC), Mathématiques et Informatique Appliquées du Génome à l'Environnement Jouy-En-Josas (MaIAGE), Institut National de la Recherche Agronomique (INRA), Laboratoire Agronomie et Environnement (LAE), Institut National de la Recherche Agronomique (INRA)-Université de Lorraine (UL), Institut National de la Recherche Agronomique (INRA). FRA.
المصدر: CoSAC un projet pour la Conception de Stratégies durables de gestion des Adventices dans un contexte de Changement : climat, pratiques agricoles, biodiversité ; Séminaire de Restitution à mi-parcours du Projet de Recherche ANR CoSAC ; https://hal.science/hal-01607909 ; Séminaire de Restitution à mi-parcours du Projet de Recherche ANR CoSAC, Institut National de la Recherche Agronomique (INRA). FRA., Jan 2017, Paris, France. 85 p ; https://archives-publications.inrae.fr/404973.pdf
مصطلحات موضوعية: interception de la lumière, méta-modélisation, analyse de sensibilité, couvert cultures, adventices, [SDV]Life Sciences [q-bio]
Relation: hal-01607909; https://hal.science/hal-01607909; PRODINRA: 404973
الاتاحة: https://hal.science/hal-01607909
-
10Academic Journal
المؤلفون: Christina, Mathias, Nouvellon, Y, Laclau, Jean-Paul, Stape, J, L, Campoe, O, C, Maire, Guerric, Le
المساهمون: Ecologie fonctionnelle et biogéochimie des sols et des agro-écosystèmes (UMR Eco&Sols), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad)-Institut de Recherche pour le Développement (IRD)-Institut National de la Recherche Agronomique (INRA)-Centre international d'études supérieures en sciences agronomiques (Montpellier SupAgro)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Département Performances des systèmes de production et de transformation tropicaux (Cirad-PERSYST), Centre de Coopération Internationale en Recherche Agronomique pour le Développement (Cirad), North Carolina State University Raleigh (NC State), University of North Carolina System (UNC), Instituto de Pesquisas e Estudos Florestais (IPEF), University of São Paulo, the Centre de coopération Internationale en Recherche Agronomique pour le Développement (CIRAD), the EUCFLUX project, USP-COFECUB (Project 2011-25), AGREENIUM (Plantrotem project), and SOERE F-ORE-T)., ANR-13-AGRO-0005,MACACC,Modélisation pour l'accompagnement des ACteurs, vers l'Adaptation des Couverts pérennes ou agroforestiers aux Changements globaux(2013)
المصدر: ISSN: 0045-5067.
مصطلحات موضوعية: metamodeling surrogate model process-based model MAESTRA eucalypt méta-modélisation modèle de substitution modèle fonctionnel MAESTRA eucalyptus, metamodeling, surrogate model, process-based model, MAESTRA, eucalypt méta-modélisation, modèle de substitution, modèle fonctionnel, eucalyptus, [SDV.SA.SF]Life Sciences [q-bio]/Agricultural sciences/Silviculture, forestry
-
11Conference
المؤلفون: Zaibi, Malek, Champenois, Gérard, Roboam, Xavier, Sareni, Bruno, Belhadj, Jamel
المساهمون: 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 ), Automatique et Systèmes équipe du LIAS (A&S), 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 ), Laboratoire des Systèmes Electriques - LSE (Tunis, Tunisie), Ecole Nationale d'Ingénieurs de Tunis (ENIT), Université de Tunis El Manar (UTM)-Université de Tunis El Manar (UTM), Groupe ENergie Electrique et SYStémique (LAPLACE-GENESYS), LAboratoire PLasma et Conversion d'Energie (LAPLACE), Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)
المصدر: Symposium de Génie Electrique (SGE'16) - EF-EPF-MGE 2016 ; https://hal.science/hal-01515275 ; Symposium de Génie Electrique (SGE'16) - EF-EPF-MGE 2016, Jun 2016, Grenoble, France. pp.0
مصطلحات موضوعية: Système autonome, Hydraulique, Stockages batterie, Méta-modélisation, Plan d’expériences, Optimisation, Dimensionnement, Energie renouvelable, [SDE.IE]Environmental Sciences/Environmental Engineering, [SPI.NRJ]Engineering Sciences [physics]/Electric power
Relation: hal-01515275; https://hal.science/hal-01515275; https://hal.science/hal-01515275v2/document; https://hal.science/hal-01515275v2/file/zaibi_17739.pdf; OATAO: 17739
-
12Conference
المؤلفون: Colas, Floriane, Gauchi, Jean-Pierre, Villerd, Jean, Colbach, Nathalie
المساهمون: Agroécologie Dijon, Institut National de la Recherche Agronomique (INRA)-Université de Bourgogne (UB)-AgroSup Dijon - Institut National Supérieur des Sciences Agronomiques, de l'Alimentation et de l'Environnement, Mathématiques et Informatique Appliquées du Génome à l'Environnement Jouy-En-Josas (MaIAGE), Institut National de la Recherche Agronomique (INRA), Laboratoire Agronomie et Environnement (LAE), Institut National de la Recherche Agronomique (INRA)-Université de Lorraine (UL)
المصدر: 14. ESA Congress ESA14
https://hal.science/hal-01604588
14. ESA Congress ESA14, Sep 2016, Edinburgh, United Kingdom
http://esa14.org.uk/مصطلحات موضوعية: méta-modélisation, analyse de sensibilité, interception de la lumière, modèle mécaniste, régression PLS, polynômes du chaos, [SDV]Life Sciences [q-bio]
جغرافية الموضوع: Edinburgh, United Kingdom
Relation: hal-01604588; https://hal.science/hal-01604588; https://hal.science/hal-01604588/document; https://hal.science/hal-01604588/file/COLAS%202016-192g_1.pdf; PRODINRA: 385642
-
13Report
المساهمون: Université de Ngaoundéré/University of Ngaoundéré Cameroun (UN), Faculté des Sciences - Université de Dschang Cameroun, Université de Dschang
المصدر: https://hal.archives-ouvertes.fr/hal-02101001 ; 2019.
مصطلحات موضوعية: Generic model, Metamodeling, Knowledge management, Platform, Decision support system, E-gouvernance, Méta-modélisation, Education, Système d'aide à la prise de décision, Plateforme, Gestion des connaissances, Modèle générique, ACM: H.: Information Systems, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Relation: hal-02101001; https://hal.archives-ouvertes.fr/hal-02101001; https://hal.archives-ouvertes.fr/hal-02101001/document; https://hal.archives-ouvertes.fr/hal-02101001/file/Mod%C3%A8le%20d%C3%A9cisionnel%20multiv2.pdf
-
14Academic Journal
المؤلفون: Loiseau, Esteban, Laforcade, Pierre, El Mawas, Nour, Iksal, Sébastien
المساهمون: Laboratoire d'Informatique de l'Université du Mans (LIUM), Le Mans Université (UM), Département informatique (INFO), Université européenne de Bretagne - European University of Brittany (UEB)-Télécom Bretagne-Institut Mines-Télécom Paris (IMT), IUT de Laval, ANR-11-JS02-0009,GRAPHIT,Élaboration et instrumentation de langages pédagogiques graphiques centrés sur le métier des plate-formes de formation et dirigés vers les besoins des praticiens(2011)
المصدر: ISSN: 1764-7223 ; STICEF (Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation) ; https://hal.science/hal-01714525 ; STICEF (Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation), 2017, 24, ⟨10.23709/sticef.24.1.3⟩.
مصطلحات موضوعية: Meta-modelling, Authoring Tool, Computer science, Learning Scenario, Pedagogical Scenario, Learning Management System, Système de gestion de cours, Méta-modélisation, Outil auteur, Scénario pédagogique, Informatique, [INFO.EIAH]Computer Science [cs]/Technology for Human Learning
Relation: hal-01714525; https://hal.science/hal-01714525; https://hal.science/hal-01714525/document; https://hal.science/hal-01714525/file/24.1.3.loiseau.pdf
-
15Conference
المؤلفون: Colas, Floriane, Colbach, Nathalie, Gauchi, Jean-Pierre, Villerd, Jean
المساهمون: Agroécologie Dijon, Institut National de la Recherche Agronomique (INRA)-Université de Bourgogne (UB)-AgroSup Dijon - Institut National Supérieur des Sciences Agronomiques, de l'Alimentation et de l'Environnement, Mathématiques et Informatique Appliquées du Génome à l'Environnement Jouy-En-Josas (MaIAGE), Institut National de la Recherche Agronomique (INRA), Laboratoire Agronomie et Environnement (LAE), Institut National de la Recherche Agronomique (INRA)-Université de Lorraine (UL), Institut National de la Recherche Agronomique (INRA). FRA.
المصدر: 4. Journées des Doctorants
https://hal.inrae.fr/hal-02739557
4. Journées des Doctorants, Mar 2015, Dijon, France. 2015مصطلحات موضوعية: adventice, méta-modélisation, analyse de sensibilité, aide à la décision, système de culture, outil d'aide à la décision, modèle, [SDV]Life Sciences [q-bio], [SDV.BV]Life Sciences [q-bio]/Vegetal Biology, [SDE]Environmental Sciences, [MATH]Mathematics [math], [INFO]Computer Science [cs]
Relation: hal-02739557; https://hal.inrae.fr/hal-02739557; https://hal.inrae.fr/hal-02739557/document; https://hal.inrae.fr/hal-02739557/file/COLAS%202015-85j_1.pdf; PRODINRA: 379120
-
16Dissertation/ Thesis
المؤلفون: Noubissi Kountchou, Christian
المساهمون: Laboratoire de Mécanique Paris-Saclay (LMPS), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Université Paris-Saclay, Guillaume Puel, Fernando Lopez-Caballero, Reza Taherzadeh
المصدر: https://theses.hal.science/tel-04320138 ; Géotechnique. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPAST150⟩.
مصطلحات موضوعية: TBM, Numerical simulation, Soil heterogeneity, Metamodel, Building damage, Tunnelier, Modélisation numérique, Hétérogénéité des sols, Méta-Modélisation, Endommagement des avoisinants, [SPI.GCIV.GEOTECH]Engineering Sciences [physics]/Civil Engineering/Géotechnique
Relation: NNT: 2022UPAST150
-
17Dissertation/ Thesis
المؤلفون: Noubissi Kountchou, Christian
المساهمون: université Paris-Saclay, Puel, Guillaume, Lopez-Caballero, Fernando, Taherzadeh, Reza
-
18Conference
المؤلفون: Damak Mallouli, Sana, Assar, Saïd, Souveyet, Carine
المساهمون: Centre de Recherche en Informatique de Paris 1 (CRI), Université Paris 1 Panthéon-Sorbonne (UP1), Département Systèmes d'Information (IMT-BS - DSI), Télécom Ecole de Management (TEM)-Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Business School (IMT-BS), Institut Mines-Télécom Paris (IMT)
المصدر: XXIXème Congrès INFORSID (INFormatique des ORganisations et Systèmes d'Information et de Décision) ; https://hal.science/hal-01513040 ; XXIXème Congrès INFORSID (INFormatique des ORganisations et Systèmes d'Information et de Décision), May 2011, Lille, France
مصطلحات موضوعية: Meta-modeling, Behavioral perspective, Model executability, Event-based, Approach, Causal relationship, Meta-CASE tools, Perspective comportementale, Méta-modélisation, Approche événementielle, Exécutabilité des modèles, Vision systémique, Outils méta-CASE, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Relation: hal-01513040; https://hal.science/hal-01513040; https://hal.science/hal-01513040/document; https://hal.science/hal-01513040/file/INFORSID2011%28soumis-VF2%29.pdf
-
19
المؤلفون: Jean-Paul Bodeveix, Mamoun Filali
المساهمون: Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Alexander Raschke, Dominique Méry, ANR-19-CE25-0010,EBRP-EventB-Rodin-Plus,Enrichissement de EventB et de RODIN : EventB-Rodin-Plus(2019)
المصدر: Rigorous State-Based Methods
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings ; ISBN: 978-3-030-77543-8
8th International Conference on Rigorous State-Based Methods (ABZ 2021)
8th International Conference on Rigorous State-Based Methods (ABZ 2021), Jun 2021, Ulm, Germany. pp.66-80, ⟨10.1007/978-3-030-77543-8_5⟩
Rigorous State-Based Methods ISBN: 9783030775421
ABZمصطلحات موضوعية: Theoretical computer science, Hierarchy (mathematics), Computer science, Event (relativity), Formal methods, 020207 software engineering, Context (language use), 02 engineering and technology, Meta modelisation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Theorem provers, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Development (topology), 0202 electrical engineering, electronic engineering, information engineering, Event-B, 020201 artificial intelligence & image processing, Mechanism (sociology), Axiom
-
20Conference
المؤلفون: Souveyet, Carine, Assar, Saïd
المساهمون: Centre de Recherche en Informatique de Paris 1 (CRI), Université Paris 1 Panthéon-Sorbonne (UP1), Département Systèmes d'Information (IMT-BS - DSI), Télécom Ecole de Management (TEM)-Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Business School (IMT-BS), Institut Mines-Télécom Paris (IMT), Centre d'Études et de recherches en Management et TIC (CEMANTIC), Télécom Ecole de Management (TEM)-Institut Mines-Télécom Paris (IMT)
المصدر: INFORSID 2007 : actes du XXVème Congrès Informatique des organisations et systèmes d'information et de décision : atelier MADSI (Méthodes Avancées de Développement des Systèmes d'Information) ; https://hal-paris1.archives-ouvertes.fr/hal-00673639 ; INFORSID 2007 : actes du XXVème Congrès Informatique des organisations et systèmes d'information et de décision : atelier MADSI (Méthodes Avancées de Développement des Systèmes d'Information), May 2007, Perros-Guirec, France. pp.90-103
مصطلحات موضوعية: Modèle de processus, Méta-modélisation, Modèles productifs, Exécution des modèles, Ateliers de génie logiciel (AGL), [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
جغرافية الموضوع: Perros-Guirec, France
Relation: hal-00673639; https://hal-paris1.archives-ouvertes.fr/hal-00673639; https://hal-paris1.archives-ouvertes.fr/hal-00673639/document; https://hal-paris1.archives-ouvertes.fr/hal-00673639/file/MADSI_Souveyet-Assar-1.pdf