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ł :
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains
Autorzy :
Mallet, Frédéric
de Simone, Robert
Pokaż więcej
Źródło :
Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL’08. 36:27-41
Książka elektroniczna
Tytuł :
TimeSquare: Treat Your Models with Logical Time
Autorzy :
DeAntoni, Julien
Mallet, Frédéric
Pokaż więcej
Źródło :
Objects, Models, Components, Patterns : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. 7304:34-41
Materiał oryginalny :
This work has been partially supported by the RT-SIMEX ANR project (http://www.rtsimex.org) and the PRESTO ARTEMIS project (http://www.presto-embedded.eu/).
Książka elektroniczna
Tytuł :
Boundness Issues in CCSL Specifications
Autorzy :
Mallet, Frédéric
Millo, Jean-Viven
Pokaż więcej
Źródło :
Formal Methods and Software Engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings. 8144:20-35
Książka elektroniczna

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