Kestrel Technology (United States)
🇺🇸 US
论文数
1
总引用数
178
H-Index
1
研究人员
1
关于
暂无简介。
研究焦点
主要成就
1
H 指数
1
论文
178
总引用数
1
教职员与研究人员
🏆 最高被引论文
Formal analysis of a space-craft controller using SPIN
178 次引用 · 2001
📊 篇均引用: 178
📈 最高产年份: 2001 (1)
🔬 研究焦点: Abstraction layer, Component (thermodynamics), Computer science, Concurrency, Lisp, Model checking
代表论文
- 1Formal analysis of a space-craft controller using SPIN178 次引用 · 2001
教职员与研究人员
…
尚未生成