Statistics
Publications
3
Citations
73
H-Index
3
Active since
2013
Affiliations
Kyushu University(Current)
Hsin-Hung Lin is an author at Kyushu University specializing in formal methods, computer science, and verification.
Publications per year
2013–2015
3
3
Yu‐Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin et al. · 2014 · 47 citations · Full text
SMT-Based Bounded Model Checking for OSEK/VDX Applications
Hai‐Tao Zhang, Toshiaki Aoki, Hsin-Hung Lin et al. · 2013 · 16 citations
1–3 of 3