Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""DeAntoni, Julien"" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-16 z 16
    Tytuł:
    Towards the Verification of Hybrid Co-simulation Algorithms
    Książka elektroniczna
    Tytuł:
    Towards the Verification of Hybrid Co-simulation Algorithms
    Autorzy:
    Thule, Casper
    Gomes, CláudioAff17, Aff21
    Deantoni, Julien
    Larsen, Peter Gorm
    Brauer, Jörg
    Vangheluwe, HansAff17, Aff20, Aff21
    Źródło:
    Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. 11176:5-20
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Co-simulation: The Past, Future, and Open Challenges
    Książka elektroniczna
    Tytuł:
    Co-simulation: The Past, Future, and Open Challenges
    Autorzy:
    Gomes, CláudioAff22, Aff25
    Thule, Casper
    Deantoni, JulienAff26, Aff27
    Larsen, Peter Gorm
    Vangheluwe, HansAff22, Aff24, Aff25
    Źródło:
    Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. 11246:504-520
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Instant-Based and State-Based Analysis of Infinite Logical Clock
    Książka elektroniczna
    Tytuł:
    Instant-Based and State-Based Analysis of Infinite Logical Clock
    Autorzy:
    Xu, QingguoAff17, Aff18
    Miao, HuaikouAff17, Aff18
    de Simone, Robert
    DeAntoni, Julien
    Źródło:
    Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers. 10189:32-51
    Książka elektroniczna
    Szczegóły
    Tytuł:
    VCU: The Three Dimensions of Reuse
    Książka elektroniczna
    Tytuł:
    VCU: The Three Dimensions of Reuse
    Autorzy:
    Kienzle, Jörg
    Mussbacher, Gunter
    Alam, Omar
    Schöttle, Matthias
    Belloir, Nicolas
    Collet, Philippe
    Combemale, Benoit
    DeAntoni, Julien
    Klein, Jacques
    Rumpe, Bernhard
    Źródło:
    Software Reuse: Bridging with Social-Awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings. 9679:122-137
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Divergence Detection for CCSL Specification via Clock Causality Chain
    Książka elektroniczna
    Tytuł:
    Divergence Detection for CCSL Specification via Clock Causality Chain
    Autorzy:
    Xu, QingguoAff16, Aff17
    de Simone, Robert
    DeAntoni, Julien
    Źródło:
    Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. 9984:18-37
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Domain Globalization: Using Languages to Support Technical and Social Coordination
    Książka elektroniczna
    Tytuł:
    Domain Globalization: Using Languages to Support Technical and Social Coordination
    Autorzy:
    Deantoni, Julien
    Brun, Cédric
    Caillaud, Benoit
    France, Robert B.
    Karsai, Gabor
    Nierstrasz, Oscar
    Syriani, Eugene
    Źródło:
    Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers. 9400:70-87
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE
    Czasopismo naukowe
    Tytuł:
    Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE
    Autorzy:
    Glitia, Calin
    DeAntoni, Julien
    Mallet, Frédéric
    Millo, Jean-Vivien
    Boulet, Pierre
    Gamatié, Abdoulaye
    Źródło:
    Design Automation for Embedded Systems: An International Journal. March 2015 19(1-2):1-33
    Czasopismo naukowe
    Szczegóły
    Tytuł:
    Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte
    Czasopismo naukowe
    Tytuł:
    Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte
    Autorzy:
    Glitia, Calin
    DeAntoni, Julien
    Mallet, Frédéric
    Millo, Jean-Vivien
    Boulet, Pierre
    Gamatié, Abdoulaye
    Źródło:
    Design Automation for Embedded Systems: An International Journal. June 2012 16(2):137-169
    Czasopismo naukowe
    Szczegóły
    Tytuł:
    The clock constraint specification language for building timed causality models: Application to synchronous data flow graphs
    Czasopismo naukowe
    Tytuł:
    The clock constraint specification language for building timed causality models: Application to synchronous data flow graphs
    Autorzy:
    Mallet, Frédéric
    DeAntoni, Julien
    André, Charles
    de Simone, Robert
    Źródło:
    Innovations in Systems and Software Engineering: A NASA Journal. March 2010 6(1-2):99-106
    Czasopismo naukowe
    Szczegóły
      Wyświetlanie 1-16 z 16

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies