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ł :
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ł :
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 :
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
Tytuł :
Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE
Autorzy :
Mallet, Frédéric
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
ComputingMilieux_MISCELLANEOUS
Źródło :
3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS
3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS, Sep 2018, Beijing, China
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a7cff74e05b53febb10a80c4bd33d573
https://hal.inria.fr/hal-01898291

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