Grant Olney Passmore

Papers

1

Total Citations

3

H-Index

1

About

No biography available yet.

Research Focus

Computer science1 · 3 citations
Correctness1 · 3 citations
Engineering1 · 3 citations
Formal methods1 · 3 citations
Formal verification1 · 3 citations
Functional verification1 · 3 citations
High-level verification1 · 3 citations
Hybrid system1 · 3 citations
Intelligent verification1 · 3 citations
Key (lock)1 · 3 citations
Machine learning1 · 3 citations
Mathematical proof1 · 3 citations

Key Achievements

1
H-Index
1
Papers
3
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems
3 citations · 2013
📈 Most Prolific Year: 2013 (1 Papers)
🤝 Key Collaborators: 2

Top Papers

  1. 1
    A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems
    3 citations · 2013

Key Collaborators

APAndré Platzer1 shared papersSMStefan Mitsch1 shared papers
Not generated yet