Informacja

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

Przeglądasz jako GOŚĆ

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


Tytuł :
An Executable Semantics of Clock Constraint Specification Language and Its Applications.
Autorzy :
Zhang, Min
Mallet, Frédéric
Pokaż więcej
Źródło :
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers; 2016, p37-51, 15p
Książka
Tytuł :
Coalgebraic Semantic Model for the Clock Constraint Specification Language.
Autorzy :
Mallet, Frédéric
Zholtkevych, Grygoriy
Pokaż więcej
Źródło :
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers; 2015, p174-188, 15p
Książka
Tytuł :
MARTE/CCSL for Modeling Cyber-Physical Systems.
Autorzy :
Mallet, Frédéric
Pokaż więcej
Źródło :
Formal Modeling & Verification of Cyber-Physical Systems; 2015, p26-49, 24p
Książka
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
Temat :
DATA flow computing
EMBEDDED computer systems
UNIFIED modeling language
APPLICATION software
COMPUTER science
Źródło :
Design Automation for Embedded Systems; Mar2015, Vol. 19 Issue 1/2, p1-33, 33p
Czasopismo naukowe
Tytuł :
Improving the Efficiency of Synchronized Product with Infinite Transition Systems.
Autorzy :
Romenska, Yuliia
Mallet, Frédéric
Pokaż więcej
Źródło :
Information & Communication Technologies in Education, Research & Industrial Applications; 2013, p285-307, 23p
Książka
Tytuł :
Boundness Issues in CCSL Specifications.
Autorzy :
Mallet, Frédéric
Millo, Jean-Viven
Pokaż więcej
Źródło :
Formal Methods & Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings; 2013, p20-35, 16p
Książka
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
Temat :
UNIFIED modeling language
DATA flow computing
EMBEDDED computer systems
SCHEDULING software
SIGNAL processing
Źródło :
Design Automation for Embedded Systems; Jun2012, Vol. 16 Issue 2, p137-169, 33p
Czasopismo naukowe
Tytuł :
Specification and verification of time requirements with CCSL and Esterel.
Autorzy :
André, Charles
Mallet, Frédéric
Pokaż więcej
Źródło :
Proceedings of the 2009 ACM SIGPLAN/SIGBED Conference: Languages, Compilers & Tools for Embedded Systems; 6/19/2009, p167-176, 10p
Konferencja

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