Guillaume Brat
论文数
2
总引用数
51
H-Index
2
关于
暂无简介。
研究焦点
Systems engineering2 · 51 次引用
Computer science2 · 51 次引用
Software engineering2 · 51 次引用
Engineering2 · 51 次引用
Formal verification1 · 35 次引用
Flexibility (engineering)1 · 35 次引用
Programming language1 · 35 次引用
Formal methods1 · 35 次引用
Embedded system1 · 16 次引用
Benchmarking1 · 16 次引用
Operating system1 · 16 次引用
Component-based software engineering1 · 16 次引用
主要成就
2
H 指数
2
论文
51
总引用数
26
篇均引用
🏆 最高被引论文
Integrating Formal Verification and Assurance: An Inspection Rover Case Study
35 次引用 · 2021
📈 最高产年份: 2021 (1 论文)
🤝 主要合作者: 13
🏛 所属机构: Ames Research Center
代表论文
- 1
- 2
主要合作者
HBHamza Bourbouh1 篇合著论文SCSummer Chambers1 篇合著论文BRBrian Roberts1 篇合著论文MFMichael Fisher1 篇合著论文MFMarie Farrell1 篇合著论文AMAnastasia Mavridou1 篇合著论文NBNick B. Cramer1 篇合著论文KHKimberly Hambuchen1 篇合著论文IŠIrfan Šljivo1 篇合著论文AOAmalaye Oyake1 篇合著论文LALouise A. Dennis1 篇合著论文APAustin Probe1 篇合著论文MDMatthew Deans1 篇合著论文
尚未生成