论文数
3
总引用数
17
H-Index
2
关于
暂无简介。
研究焦点
Software engineering3 · 17 次引用
Computer science3 · 17 次引用
Formal verification3 · 17 次引用
Programming language3 · 17 次引用
Distributed computing2 · 15 次引用
Embedded system2 · 15 次引用
Model checking2 · 15 次引用
Petri net2 · 15 次引用
Robustness (evolution)1 · 8 次引用
Computer architecture1 · 8 次引用
Runtime verification1 · 7 次引用
Formal methods1 · 2 次引用
主要成就
2
H 指数
3
论文
17
总引用数
6
篇均引用
🏆 最高被引论文
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems
8 次引用 · 2022
📈 最高产年份: 2022 (1 论文)
🤝 主要合作者: 6
🏛 所属机构: Office National d'Études et de Recherches Aérospatiales, Université Fédérale de Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique
代表论文
- 1
- 2
- 3
主要合作者
尚未生成