Darrell Kienzle
Papers
1
Total Citations
17
H-Index
1
About
No biography available yet.
Research Focus
Computer science1 · 17 citations
Critical system1 · 17 citations
Engineering1 · 17 citations
Formal methods1 · 17 citations
Life-critical system1 · 17 citations
Process (computing)1 · 17 citations
Programming language1 · 17 citations
Software1 · 17 citations
Software engineering1 · 17 citations
Systems engineering1 · 17 citations
Key Achievements
1
H-Index
1
Papers
17
Total Citations
17
Avg Citations/Paper
🏆 Most Cited Paper
Preliminary Experience Using Z to Specify a Safety-Critical System
17 citations · 1993
📈 Most Prolific Year: 1993 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: University of Virginia
Top Papers
- 1Preliminary Experience Using Z to Specify a Safety-Critical System17 citations · 1993
Key Collaborators
Not generated yet