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ł:
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ł:
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL
Autorzy:
Zhang, Min
Mallet, FrédéricAff16, Aff17, Aff18
Zhu, Huibiao
Pokaż więcej
Źródło:
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. 10009:433-449
Książka elektroniczna
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
Tytuł:
MARTE/CCSL for Modeling Cyber-Physical Systems
Autorzy:
Mallet, Frédéric
Pokaż więcej
Źródło:
Formal Modeling and Verification of Cyber-Physical Systems : 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. :26-49
Książka elektroniczna
Tytuł:
Improving the Efficiency of Synchronized Product with Infinite Transition Systems
Autorzy:
Romenska, YuliiaAff6, Aff7
Mallet, Frédéric
Pokaż więcej
Źródło:
Information and Communication Technologies in Education, Research, and Industrial Applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers. 412:285-307
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