Concepedia

P. M. Chu

PM

4

Publications

227

Citations

4

H-Index

1975

Active since

Affiliations

The Ohio State University(Current)

P. M. Chu is an author at The Ohio State University specializing in engineering, systems engineering, and formal specification.

Top concepts

EngineeringSystems EngineeringProtocolsVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSpace Engineering

Publications per year

1975–1987

4

Publications

4

Protocol verification using reachability analysis: the state space explosion problem and relief strategies

Fuchun Joseph Lin, P. M. Chu, M. T. Liu · 1987 · 105 citations

Engineering, Reachability Problem, Survivable System +21

Protocol verification using reachability analysis: the state space explosion problem and relief strategies

Fuchun Joseph Lin, P. M. Chu, M. T. Liu · ACM SIGCOMM Computer Communication Review · 1987 · 87 citations · Full text

Engineering, Reachability Problem, Survivable System +21

On Vehicle Automatic Longitudinal Control

R.E. Fenton, P. M. Chu · Transportation Science · 1977 · 25 citations

Engineering, Aerospace Engineering, Space Vehicles +14

FUNDAMENTAL STUDIES IN THE AUTOMATIC LONGITUDINAL CONTROL OF VEHICLES

R.E. Fenton, Karl Olson, R.J. Mayhan et al. · 1975 · 10 citations

Automotive Engineering, Automatic Highway, Engineering +12

Rows per page

1–4 of 4