A Metamodeling Approach for Reasoning on Multiple Requirements Models

International audience

Data and Resources

Additional Info

Field Value
Source EDOC 2013 - The 17th IEEE International Enterprise Distributed Object Computing Conference Conference
Author Goknil, Arda, Kurtev, Ivan, Millo, Jean-Vivien
Maintainer CCSD
Last Updated May 10, 2026, 03:29 (UTC)
Created May 10, 2026, 03:29 (UTC)
Identifier hal-00850678
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) ; Centre Inria d'Université Côte d'Azur ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED) ; Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)
coverage Vancouver, Canada
creator Goknil, Arda
date 2013-09-09T00:00:00
harvest_object_id 7a7880cf-04c9-4732-ab51-18a78e893e28
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-10-07T00:00:00
set_spec type:COMM