Old Web
English
Sign In
Acemap
>
authorDetail
>
Kosuke Uemura
Kosuke Uemura
Kanazawa University
Computer science
Satisfiability modulo theories
Formal verification
Model checking
Spin-½
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program
2020
GCCE | IEEE Global Conference on Consumer Electronics
Satoshi Yamane
Kosuke Uemura
Show All
Source
Cite
Save
Citations (0)
1