1
Publications
19
Citations
1
H-Index
2011
Active since
Affiliations
Tinghe Wang is an author at Stuttgart Technical University of Applied Sciences specializing in formal verification, formal methods, and system software.
Top concepts
EngineeringSemantic WebVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceDistributed SystemsFormal VerificationSystems Engineering
Publications per year
2011–2011
1
1
Rows per page
1–1 of 1