Arnaud Dieumegard

IRT M2P, Université Fédérale de Toulouse Midi-Pyrénées

论文数

3

总引用数

24

H-Index

3

关于

暂无简介。

研究焦点

Programming language3 · 24 次引用
Computer science3 · 24 次引用
Formal verification2 · 17 次引用
Operating system2 · 17 次引用
Event (particle physics)2 · 16 次引用
Set (abstract data type)2 · 16 次引用
Software2 · 15 次引用
Software engineering2 · 15 次引用
Construct (python library)1 · 9 次引用
Code (set theory)1 · 9 次引用
Liveness1 · 9 次引用
B-Method1 · 9 次引用

主要成就

3
H 指数
3
论文
24
总引用数
8
篇均引用
🏆 最高被引论文
Correct‐by‐construction specification to verified code
9 次引用 · 2018
📈 最高产年份: 2017 (2 论文)
🤝 主要合作者: 5
🏛 所属机构: IRT M2P, Université Fédérale de Toulouse Midi-Pyrénées

代表论文

  1. 1
    Correct‐by‐construction specification to verified code
    9 次引用 · 2018
  2. 2
    Formal development process of safety-critical embedded human machine interface systems
    8 次引用 · 2017
  3. 3
    Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function
    7 次引用 · 2017

主要合作者

NGNing Ge3 篇合著论文ÉJÉric Jenn3 篇合著论文LVLaurent Voisin1 篇合著论文BDBruno daAusbourg1 篇合著论文YAYamine Aït‐Ameur1 篇合著论文
尚未生成