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ł:
Model-driven approach for the design of Multi-Chain Smart Contracts
Autorzy:
Barisic, Ankica
Zhu, Enlin
Mallet, Frédéric
Pokaż więcej
Temat:
[SCCO.COMP]Cognitive science/Computer science
Źródło:
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Sep 2021, Paris, France
Dostępność:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::758772658e75251e17df20a26553d8aa
http://xplorestaging.ieee.org/ielx7/9568781/9569777/09569809.pdf?arnumber=9569809
Tytuł:
Formally Verifying Sequence Diagrams for Safety Critical Systems
Autorzy:
Chen, Xiaohong
Mallet, Frédéric
Liu, Xiaoshan
Pokaż więcej
Temat:
Safety Critical Systems
Sequence Diagram
Clock Constraint Specification Language
Formal Verification
Safety Requirements
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło:
TASE 2020-14th International Symposium on Theoretical Aspects of Software Engineering
TASE 2020-14th International Symposium on Theoretical Aspects of Software Engineering, Dec 2020, Hangzhou, China
Dostępność:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4069cd193473321bcb24baf6a8cd7d8
https://hal.inria.fr/hal-03121933
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

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

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz