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ł :
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint
Autorzy :
Gao, Fei
Mallet, Frédéric
Zhang, Min
Chen, Mingsong
Pokaż więcej
Temat :
Timing behavior
Parametric CCSL
Logical time
SMT
Uncertainty
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
DATE 2020 - Design, Automation and Test in Europe Conference
DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France
Tytuł :
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint
Autorzy :
Gao, Fei
Mallet, Frédéric
Zhang, Min
Chen, Mingsong
Pokaż więcej
Temat :
SMT
Parametric CCSL
Uncertainty
Timing behavior
Logical time
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
DATE 2020 - Design, Automation and Test in Europe Conference
DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France
Tytuł :
A Language-based Multi-view Approach for Combining Functional and Security Models
Autorzy :
Zhao, Hui
Mallet, Frédéric
Apvrille, Ludovic
Pokaż więcej
Temat :
SysML
SysML-Sec
TTool
CPS
UML-like
ARCADIA
Multi-View Design
Security&Safety
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
MDE
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Źródło :
APSEC 2019 - Asia-Pacific Software Engineering Conference, Dec 2019, Putrajaya, Malaysia
APSEC 2019 - Asia-Pacific Software Engineering Conference
Tytuł :
A Language-based Multi-view Approach for Combining Functional and Security Models
Autorzy :
Zhao, Hui
Mallet, Frédéric
Apvrille, Ludovic
Pokaż więcej
Temat :
UML-like
SysML
SysML-Sec
ARCADIA
TTool
Multi-View Design
Security&Safety
MDE
CPS
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Źródło :
APSEC 2019 - Asia-Pacific Software Engineering Conference
APSEC 2019 - Asia-Pacific Software Engineering Conference, Dec 2019, Putrajaya, Malaysia
Tytuł :
A Logical Approach for the Schedulability Analysis of CCSL
Autorzy :
Zhang, Yuanrui
Mallet, Frédéric
Zhu, Huibiao
Chen, Yixiang
Pokaż więcej
Temat :
Index Terms-CCSL
dynamic logic
schedulability analysis
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
TASE 2019 - 13th International Symposium on Theoretical Aspects of Software Engineering
TASE 2019 - 13th International Symposium on Theoretical Aspects of Software Engineering, Jul 2019, Guilin, China. pp.25-32, ⟨10.1109/TASE.2019.00-23⟩
Tytuł :
A Logical Approach for the Schedulability Analysis of CCSL
Autorzy :
Zhang, Yuanrui
Mallet, Frédéric
Zhu, Huibiao
Chen, Yixiang
Pokaż więcej
Temat :
schedulability analysis
Index Terms-CCSL
dynamic logic
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
TASE 2019 - 13th International Symposium on Theoretical Aspects of Software Engineering
TASE 2019 - 13th International Symposium on Theoretical Aspects of Software Engineering, Jul 2019, Guilin, China. pp.25-32, ⟨10.1109/TASE.2019.00-23⟩
Tytuł :
Meta-models Combination for Reusing Verification Techniques
Autorzy :
Zhao, Hui
Apvrille, Ludovic
Mallet, Frédéric
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
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⟩
Tytuł :
Meta-models Combination for Reusing Verification Techniques
Autorzy :
Zhao, Hui
Apvrille, Ludovic
Mallet, Frédéric
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩
MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development

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