Concepedia

Hiromi Hiraishi

HH

1

Publications

169

Citations

1

H-Index

1995

Active since

Affiliations

Carnegie Mellon University(Current)

Hiromi Hiraishi is an author at Carnegie Mellon University specializing in formal methods, computer engineering, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationComputer EngineeringComputer ArchitectureTime-sensitive Networking

Publications per year

1995–1995

1

Publications

1

Verification of the Futurebus+ cache coherence protocol

Edmund M. Clarke, Orna Grümberg, Hiromi Hiraishi et al. · Formal Methods in System Design · 1995 · 169 citations

Time-sensitive Networking, Engineering, Network Communication Protocol +7

Rows per page

1–1 of 1