المؤلفون: Suryadevara, Jagadish, Seceleanu, Cristina, Mallet, Frédéric, Pettersson, Paul

المساهمون: Mälardalen University (MDH), Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE), Inria Sophia Antipolis - Méditerranée (CRISAM), 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), Mälardalen University

المصدر: Lecture Notes in Computer Science ; SEFM 2013 - 11th International Conference on Software Engineering and Formal Methods ; https://inria.hal.science/hal-00866477Test ; SEFM 2013 - 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Madrid, Spain. pp.1-15, ⟨10.1007/978-3-642-40561-7_1⟩ ; http://antares.sip.ucm.es/sefm2013Test/

مصطلحات موضوعية: [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: Spain

الوقت: Madrid, Spain

العلاقة: hal-00866477; https://inria.hal.science/hal-00866477Test

الإتاحة: https://doi.org/10.1007/978-3-642-40561-7_1Test
https://inria.hal.science/hal-00866477Test

المؤلفون: Suryadevara, Jagadish, Seceleanu, Cristina, Mallet, Frédéric, Pettersson, Paul

المساهمون: Mälardalen University (MDH), Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE), Inria Sophia Antipolis - Méditerranée (CRISAM), 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 (. - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (. - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Mälardalen University

المصدر: Lecture Notes in Computer Science ; SEFM 2013 - 11th International Conference on Software Engineering and Formal Methods ; https://hal.inria.fr/hal-00866477Test ; SEFM 2013 - 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Madrid, Spain. pp.1-15, ⟨10.1007/978-3-642-40561-7_1⟩ ; http://antares.sip.ucm.es/sefm2013Test/

مصطلحات موضوعية: [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: Spain

الوقت: Madrid, Spain

العلاقة: hal-00866477; https://hal.inria.fr/hal-00866477Test

الإتاحة: https://doi.org/10.1007/978-3-642-40561-7_1Test
https://hal.inria.fr/hal-00866477Test