Gregory Horvath

Jet Propulsion Laboratory, California Institute of Technology

论文数

2

总引用数

10

H-Index

2

关于

暂无简介。

研究焦点

Aerospace engineering2 · 10 次引用
Computer science2 · 10 次引用
Engineering2 · 10 次引用
Software2 · 10 次引用
Spacecraft2 · 10 次引用
Model checking1 · 8 次引用
Formal verification1 · 8 次引用
Programming language1 · 8 次引用
Promela1 · 8 次引用
Reference architecture1 · 2 次引用
Resource-oriented architecture1 · 2 次引用
Software system1 · 2 次引用

主要成就

2
H 指数
2
论文
10
总引用数
5
篇均引用
🏆 最高被引论文
A Model-Based Approach to Verification of Spacecraft Software Using the SPIN Model Checker
8 次引用 · 2009
📈 最高产年份: 2009 (1 论文)
🤝 主要合作者: 5
🏛 所属机构: Jet Propulsion Laboratory, California Institute of Technology

代表论文

  1. 1
    A Model-Based Approach to Verification of Spacecraft Software Using the SPIN Model Checker
    8 次引用 · 2009
  2. 2
    Safety-critical Partitioned Software Architecture: A Partitioned Software Architecture for Robotic Spacecraft
    2 次引用 · 2011

主要合作者

SCSeung Chung1 篇合著论文DHDavid Hecox1 篇合著论文GJGrailing Jones1 篇合著论文DDDaniel Dvorak1 篇合著论文RJRajeev Joshi1 篇合著论文
尚未生成