Old Web
English
Sign In
Acemap
>
authorDetail
>
Kakiuchi Yosuke
Kakiuchi Yosuke
Computer science
Control engineering
Formal verification
Assertion
Programming language
2
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
Checker Generation of Assertions with Local Variables for Model Checking
2008
Ipsj Transactions on System Lsi Design Methodology
Takeuchi Sho
Hamaguchi Kiyoharu
Kakiuchi Yosuke
Kashiwabara Toshinobu
Show All
Source
Cite
Save
Citations (0)
1