IRT M2P

🇫🇷 FR

论文数

5

总引用数

62

H-Index

4

研究人员

4

关于

暂无简介。

研究焦点

Computer science4 · 33 次引用
Programming language3 · 30 次引用
Formal verification3 · 30 次引用
Chemistry1 · 29 次引用
Composite material1 · 29 次引用
Supercritical fluid1 · 29 次引用
Extrusion1 · 29 次引用
Materials science1 · 29 次引用
Life-critical system2 · 21 次引用
Formal methods2 · 21 次引用

主要成就

4
H 指数
5
论文
62
总引用数
4
教职员与研究人员
🏆 最高被引论文
Proceedings of the 20th European Conference on Composite Materials - Composites Meet Sustainability (Vol 1-6)
29 次引用 · 2022
📊 篇均引用: 12
📈 最高产年份: 2017 (2)
🔬 研究焦点: Computer science, Programming language, Formal verification, Chemistry, Composite material, Supercritical fluid

代表论文

  1. 1
    Proceedings of the 20th European Conference on Composite Materials - Composites Meet Sustainability (Vol 1-6)
    29 次引用 · 2022
  2. 2
    Integrated formal verification of safety-critical software
    13 次引用 · 2017
  3. 3
    Correct‐by‐construction specification to verified code
    9 次引用 · 2018
  4. 4
    Formal development process of safety-critical embedded human machine interface systems
    8 次引用 · 2017
  5. 5
    Exploring AI-Based Satellite Pose Estimation: from Novel Synthetic Dataset to In-Depth Performance Evaluation
    3 次引用 · 2024

教职员与研究人员

…

尚未生成