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 1.

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

Szczegóły

Skocz do pozycji: 2 2.

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

Szczegóły

Skocz do pozycji: 3 3.

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

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

Skocz do pozycji: 4 4.

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

Szczegóły

Skocz do pozycji: 5 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

Szczegóły

Skocz do pozycji: 6 6.

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

Szczegóły

Skocz do pozycji: 7 7.

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

Szczegóły

Skocz do pozycji: 8 8.

Tytuł :: ÉVOLUTIONS RÉGLEMENTAIRES SÉCURISER LE FINANCEMENT DES PARCS D'ÉOLIENNES.
Autorzy :: Delavenne, Charles
Mallet, Frédéric; Pokaż więcej
Źródło :: Revue Banque/Banque Magazine. jan2012, Issue 744, p60-62. 3p.
: Periodyk

Szczegóły Pełny tekst

Skocz do pozycji: 9 9.

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

Szczegóły

Skocz do pozycji: 10 10.

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

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

Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

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

Aktywne filtry:

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język