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ł:
Simulation as a Method for Asymptotic System Behavior Identification (e.g. Water Frog Hemiclonal Population Systems)
Autorzy:
Shabanov, Dmytro
Vladymyrova, Marina
Leonov, Anton
Biriuk, Olga
Kravchenko, Marina
Mair, Quentin
Meleshko, Olena
Newman, Julian
Usova, Olena
Zholtkevych, Grygoriy
Pokaż więcej
Źródło:
Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:392-414
Książka elektroniczna
Tytuł:
Cluster Analysis of Countries Inequality Due to IT Development Through Macros Application
Autorzy:
Kobets, Vitaliy
Yatsenko, Valeria
Voynarenko, Mykhaylo
Pokaż więcej
Źródło:
Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:415-439
Książka elektroniczna
Tytuł:
A Model-Based Combination Language for Scheduling Verification
Autorzy:
Zhao, Hui
Apvrille, Ludovic
Mallet, FrédéricAff9, Aff10
Pokaż więcej
Źródło:
Model-Driven Engineering and Software Development : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers. 1161:27-49
Książka elektroniczna
Tytuł:
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications
Autorzy:
Zhang, Yuanrui
Wu, Hengyang
Chen, Yixiang
Mallet, Frédéric
Pokaż więcej
Źródło:
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. 1008:101-118
Książka elektroniczna
Tytuł:
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
Autorzy:
Zhang, Min
Song, Fu
Mallet, Frédéric
Chen, Xiaohong
Pokaż więcej
Źródło:
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. 11424:61-78
Książka elektroniczna
Tytuł:
An Executable Semantics of Clock Constraint Specification Language and Its Applications
Autorzy:
Zhang, Min
Mallet, FrédéricAff12, Aff13, Aff14
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. 596:37-51
Książka elektroniczna
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éricAff3, Aff4, Aff5
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. 476:174-188
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