Debra M. Erickson

Papers

1

Total Citations

10

H-Index

1

About

No biography available yet.

Research Focus

Computer science1 · 10 citations
Domain (mathematical analysis)1 · 10 citations
Embedded system1 · 10 citations
Engineering1 · 10 citations
Formal methods1 · 10 citations
Formal specification1 · 10 citations
Formal verification1 · 10 citations
Process (computing)1 · 10 citations
Product (mathematics)1 · 10 citations
Programming language1 · 10 citations
Reusability1 · 10 citations
Reuse1 · 10 citations

Key Achievements

1
H-Index
1
Papers
10
Total Citations
10
Avg Citations/Paper
🏆 Most Cited Paper
Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes
10 citations · 2000
📈 Most Prolific Year: 2000 (1 Papers)
🤝 Key Collaborators: 2

Top Papers

  1. 1
    Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes
    10 citations · 2000

Key Collaborators

JMJeffrey M. Thompson1 shared papersMPMats P. E. Heimdahl1 shared papers
Not generated yet