Informacja

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


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

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