Thierry Cattel
论文数
2
总引用数
9
H-Index
2
关于
暂无简介。
研究焦点
主要成就
2
H 指数
2
论文
9
总引用数
5
篇均引用
🏆 最高被引论文
Using Concurrency and Formal Methods for the Design of Safe Process Control
6 次引用 · 1996
📈 最高产年份: 1996 (1 论文)
🤝 主要合作者: 0
🏛 所属机构: École Polytechnique Fédérale de Lausanne
代表论文
- 1
- 2Process Control Design Using SPIN3 次引用 · 2002
联系与链接
可合作
内容已生成 · 4 天前