Natalia Yevgenyevna Sharygina

Papers

1

Total Citations

7

H-Index

1

About

No biography available yet.

Research Focus

Abstraction model checking1 · 7 citations
Computer science1 · 7 citations
Executable1 · 7 citations
Finite-state machine1 · 7 citations
Model checking1 · 7 citations
Programming language1 · 7 citations
Software1 · 7 citations
Software construction1 · 7 citations
Software design1 · 7 citations
Software design description1 · 7 citations
Software development1 · 7 citations
Software system1 · 7 citations

Key Achievements

1
H-Index
1
Papers
7
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Model checking of software control systems
7 citations · 2002
📈 Most Prolific Year: 2002 (1 Papers)
🤝 Key Collaborators: 2

Top Papers

  1. 1
    Model checking of software control systems
    7 citations · 2002

Key Collaborators

DTDelbert Tesar1 shared papersJCJames C. Browne1 shared papers
Not generated yet