Concepedia

Author

G.S. Ho

Also Known As

G.S. Ho

4

Publications

660

Citations

3

H-Index

20

Concepts

All Affiliations

GH

About

G.S. Ho is an author at University of California, Berkeley specializing in formal methods, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

624

2

Computer Science

2

2

624

3

Systems Engineering

2

2

624

4

Computer Engineering

1

1

561

5

Asynchronous Systems

1

1

561