Old Web
English
Sign In
Acemap
>
authorDetail
>
Arimoto Yasuhito
Arimoto Yasuhito
Programming language
Formal methods
Computer science
formal description
2
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
ZipPath:ZIPCにおけるHSTM設計のための簡単で有効なパスファインダー【Powered by NICT】
2016
Kong WeiQiang
Hou Gang
Hu Xiangpei
Arimoto Yasuhito
Watanabe Masahiko
Ando Takahiro
Hisazumi Kenji
Fukuda Akira
Show All
Source
Cite
Save
Citations (0)
Formal Description and Verification of Domains
2007
Arimoto Yasuhito
Futatsugi Kokichi
Show All
Source
Cite
Save
Citations (0)
1