Login / Signup
Shin Nakajima
Publication Activity (10 Years)
Years Active: 1997-2023
Publications (10 Years): 21
Top Topics
Timed Automata
Formal Methods
Fault Localization
Energy Consumption
Top Venues
SOFL+MSVL
NII Shonan Meet. Rep.
CSDM Asia
ICTSS
</>
Publications
</>