Old Web
English
Sign In
Acemap
>
authorDetail
>
Kanagawa Hirotoshi
Kanagawa Hirotoshi
Embedded system
Formal methods
Computer science
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
Behavior Verification for Embedded Systems Focusing on System Contexts
2007
Kanagawa Hirotoshi
Seto Toshiki
Taniguchi Susumu
Yoshida Jyun
Ubayashi Naoyasu
Sumi Takeshi
Hirayama Masayuki
Show All
Source
Cite
Save
Citations (0)
1