Concepedia

Chih-Hao Tseng

CT

1

Publications

42

Citations

1

H-Index

2004

Active since

Affiliations

National Chung Cheng University(Current)

Chih-Hao Tseng is an author at National Chung Cheng University specializing in software design, computer science, and system software.

Top concepts

EngineeringVerificationSoftware DesignSystem SoftwareComputer ScienceEmbedded SystemsProgram AnalysisReal-time SystemsSoftware AnalysisFormal Verification

Publications per year

2004–2004

1

Publications

1

VERTAF: an application framework for the design and verification of embedded real-time software

Pao‐Ann Hsiung, Shang‐Wei Lin, Chih-Hao Tseng et al. · IEEE Transactions on Software Engineering · 2004 · 42 citations

Engineering, Object-oriented Modeling, Verification +23

Rows per page

1–1 of 1