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: Wszystkie pola


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 :
Crossref
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ł :
EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles
Autorzy :
Abou Faysal, Joelle
Zalmai, Nour
Barisic, Ankica
Mallet, Frédéric
Pokaż więcej
Temat :
Rule-Based Planner
Formal methods
Testing and simulating
Model development and verification
Safety
Autonomous cars
[INFO]Computer Science [cs]
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Źródło :
MEDI 2021-10th International Conference on Model and Data Engineering
MEDI 2021-10th International Conference on Model and Data Engineering, Jun 2021, Tallinn, Estonia
Crossref
Dostępność :
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff93e14a003672864d9e9fe83a3c9bce
https://hal.archives-ouvertes.fr/hal-03331190
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
Crossref
Dostępność :
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4069cd193473321bcb24baf6a8cd7d8
https://hal.inria.fr/hal-03121933
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
Materiał oryginalny :
This work was financially Supported by the CLARITY project and by a .
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ł :
Correction to: Information and Communication Technologies in Education, Research, and Industrial Applications
Autorzy :
Ermolayev, Vadim
Mallet, Frédéric
Yakovyna, Vitaliy
Mayr, Heinrich C.
Spivakovsky, Aleksander
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:C1-C1
Materiał oryginalny :
The updated version of the book can be found at https://doi.org/10.1007/978-3-030-39459-2
Książka elektroniczna
Tytuł :
Meta-models Combination for Reusing Verification Techniques
Autorzy :
Zhao, Hui
Apvrille, Ludovic
Mallet, Frédéric
Pokaż więcej
Temat :
Computer science
System model
Software engineering
business.industry
business
Reuse
Model transformation
computer.programming_language
computer
Global consistency
Universal language
language.human_language
language
Software
Competence (human resources)
Software deployment
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Crossref
MODELSWARD
MODELSWARD 2019-7th International Conference on Model-Driven Engineering and Software Development
MODELSWARD 2019-7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩
Dostępność :
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::65849510f1aebfc1cd86edc4a85e4f17
Tytuł :
From Logical Time Scheduling to Real-Time Scheduling
Autorzy :
Mallet, Frédéric
Zhang, Min
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
39th IEEE Real-Time Systems Symposium
39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::14e31935433d56444382cea7bc26cd0e
https://hal.inria.fr/hal-01971976

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