Autor: "Mallet, Frédéric" - OpacWWW

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

Wyszukujesz frazę ""Mallet, Frédéric"" wg kryterium: Autor

Wyświetlanie 1-10 z 10

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Clock constraint specification language: specifying clock constraints with UML/MARTE
Autorzy:: Mallet, Frédéric; Pokaż więcej
Źródło:: Innovations in Systems and Software Engineering: A NASA Journal. October 2008 4(3):309-314

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

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; Pokaż więcej
Źródło:: Innovations in Systems and Software Engineering: A NASA Journal. March 2010 6(1-2):99-106

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

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; Pokaż więcej
Źródło:: Design Automation for Embedded Systems: An International Journal. June 2012 16(2):137-169

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Hybrid MARTE statecharts
Autorzy:: Liu, Jing
Liu, Ziwei
He, Jifeng
Mallet, Frédéric
Ding, Zuohua; Pokaż więcej
Źródło:: Frontiers of Computer Science: Selected Publications from Chinese Universities. February 2013 7(1):95-108

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Scenario-based verification in presence of variability using a synchronous approach
Autorzy:: Millo, Jean-Vivien
Mallet, Frédéric
Coadou, Anthony
Ramesh, S.; Pokaż więcej
Źródło:: Frontiers of Computer Science: Selected Publications from Chinese Universities. October 2013 7(5):650-672

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

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; Pokaż więcej
Źródło:: Design Automation for Embedded Systems: An International Journal. March 2015 19(1-2):1-33

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
Autorzy:: Khan, Aamir M.
Mallet, Frédéric
Rashid, Muhammad; Pokaż więcej
Źródło:: Software & Systems Modeling. 18(1):11-37

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 8.

Tytuł:: TRAP: trace runtime analysis of properties
Autorzy:: Yue, DaianAff1, Aff2
Joloboff, VaniaAff1, Aff2
Mallet, FrédéricAff1, Aff3; Pokaż więcej
Źródło:: Frontiers of Computer Science. 14(3)

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: A verification framework for spatio-temporal consistency language with CCSL as a specification language
Autorzy:: Zhang, Yuanrui
Mallet, Frédéric
Chen, Yixiang; Pokaż więcej
Źródło:: Frontiers of Computer Science. 14(1):105-129

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: A dynamic logic for verification of synchronous models based on theorem proving
Autorzy:: Zhang, Yuanrui
Mallet, Frédéric
Liu, ZhimingAff1, Aff3, IDs1170402213744_cor3; Pokaż więcej
Źródło:: Frontiers of Computer Science. 16(4)

Czasopismo naukowe

na półce

Szczegóły

Wyświetlanie 1-10 z 10

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

Informacja

Wyszukujesz frazę ""Mallet, Frédéric"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język