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ł :
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ł :
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ł :
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

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