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
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ł :
Reifying Concurrency for Executable Metamodeling
Autorzy :
Combemale, Benoît
De Antoni, Julien
Larsen, Matias Vara
Mallet, Frédéric
Barais, Olivier
Baudry, Benoit
France, Robert B.
Pokaż więcej
Źródło :
Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. 8225:365-384
Materiał oryginalny :
This work is partially supported by the ANR INS Project GEMOC (ANR-12-INSE-0011), and the CNRS PICS Project MBSAR.
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ł :
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ł :
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
Materiał oryginalny :
This research work was supported by National Natural Science Foundation of China (NSFC) projects: No. 61502171, No. 61361136002, and China HGJ Project: No. 2014ZX01038-101-001.
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ł :
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
Materiał oryginalny :
F. Mallet—This work was partly funded by the French Government, through program #ANR-11-LABX-0031-01.
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
Materiał oryginalny :
This work is supported by NSFC grants 61872146, 61532019 and 61761136011.
Książka elektroniczna
Tytuł :
Formal Verification of Cyber-Physical Systems Using Theorem Proving
Autorzy :
Rashid, Adnan
Siddique, Umair
Tahar, Sofiène
Pokaż więcej
Źródło :
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:3-18
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