Old Web
English
Sign In
Acemap
>
authorDetail
>
Keita Sakemi
Keita Sakemi
Computer science
Theoretical computer science
SPIN model checker
Promela
Finite-state machine
3
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
Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model.
2022
MODELSWARD | International Conference on Model-Driven Engineering and Software Development
Kenji Hisazumi
Yasutaka Michiura
Keita Sakemi
Michihiro Matsumoto
Show All
Source
Cite
Save
Citations (0)
Verification Model Translation Method toward Behavior Model for CAST
2018
Takahiro Ando
Bo Wang
Kenji Hisazumi
Weiqiang Kong
Akira Fukuda
Yasutaka Michiura
Keita Sakemi
Michihiro Matsumoto
Show All
Source
Cite
Save
Citations (0)
1