11
Publications
200
Citations
10
H-Index
1994
Active since
Yuki Chiba is an author at Tohoku University specializing in engineering, applied physics, and natural sciences.
Top concepts
EngineeringApplied PhysicsMaterial ScienceNatural SciencesCondensed Matter PhysicsPhysicsChemistryVerificationFormal MethodsCrystallography
Publications per year
1994–2022
11
11
SMT-Based Bounded Model Checking for OSEK/VDX Applications
Hai‐Tao Zhang, Toshiaki Aoki, Hsin-Hung Lin et al. · 2013 · 16 citations
Rows per page
1–5 of 11