Concepedia

Pei-Hsin Jiang

PJ

1

Publications

71

Citations

1

H-Index

2001

Active since

Affiliations

Carnegie Mellon University(Current)

Pei-Hsin Jiang is an author at Carnegie Mellon University specializing in engineering, formal specification, and automated reasoning.

Top concepts

Publications per year

2001–2001

1

Publications

1

Formal property verification by abstraction refinement with formal, simulation and hybrid engines

Dong Wang, Pei-Hsin Jiang, James Kukula et al. · 2001 · 71 citations

, , +19

Rows per page

1–1 of 1