Concepedia
Statistics
Publications
1
Citations
10
H-Index
Active since
2003
Holloway C. Michael is an author specializing in computer science, fault-tolerant real-time systems, and real-time systems verification.
Publications per year
2003–2003
Formal Design and Verification of a Reliable Computing Platform For Real-Time Control (Phase 3 Results)
W Butler Ricky, Vito Ben L. Di, Holloway C. Michael · NASA Technical Reports Server (NASA) · 2003 · 10 citations
Engineering, Computer Engineering, Computer Science +17
1–1 of 1