Old Web
English
Sign In
Acemap
>
authorDetail
>
Yasutaka Michiura
Yasutaka Michiura
Computer science
Programming language
Theoretical computer science
SPIN model checker
Promela
4
Papers
2
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
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)
Functional safety analysis of SAE conditional driving automation in time-critical situations and proposals for its feasibility
2020
Cognition, Technology & Work
Takayuki Hirose
Tetsuo Sawaragi
Hideki Nomoto
Yasutaka Michiura
Show All
Source
Cite
Save
Citations (1)
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)
Reference Model of specifications toward Independent Verification and Validation
2015
TENCON | IEEE Region 10 Conference
Takahiro Ando
Hirokazu Yatsu
Kenji Hisazumi
Akira Fukuda
Michihiro Matsumoto
Yasutaka Michiura
Show All
Source
Cite
Save
Citations (1)
1