Bernard Berthomieu

Centre National de la Recherche Scientifique

论文数

2

总引用数

58

H-Index

2

关于

暂无简介。

研究焦点

Programming language2 · 58 次引用
Model checking2 · 58 次引用
Computer science2 · 58 次引用
Software engineering2 · 58 次引用
Distributed computing2 · 58 次引用
Software2 · 58 次引用
Translation (biology)1 · 31 次引用
Autonomous robot1 · 31 次引用
Layer (electronics)1 · 31 次引用
Middleware (distributed applications)1 · 31 次引用
Mobile robot1 · 31 次引用
Robot1 · 31 次引用

主要成就

2
H 指数
2
论文
58
总引用数
29
篇均引用
🏆 最高被引论文
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
31 次引用 · 2016
📈 最高产年份: 2016 (1 论文)
🤝 主要合作者: 5
🏛 所属机构: Centre National de la Recherche Scientifique

代表论文

  1. 1
    Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
    31 次引用 · 2016
  2. 2
    Formal verification of complex robotic systems on resource-constrained platforms
    27 次引用 · 2018

主要合作者

SDSilvano Dal Zilio2 篇合著论文MFMohammed Foughali2 篇合著论文AMAnthony Mallet2 篇合著论文FIFélix Ingrand2 篇合著论文PHPierre-Emmanuel Hladik1 篇合著论文
尚未生成