Old Web
English
Sign In
Acemap
>
authorDetail
>
Michiura Yasutaka
Michiura Yasutaka
Computer science
Theoretical computer science
Systems Modeling Language
Spin model
State diagram
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
Application of Functional Resonance Analysis Method to Prevent Human Errors in Safety Analysis
2018
Michiura Yasutaka
Nomoto Hideki
Show All
Source
Cite
Save
Citations (0)
Translation Method for SysML State Machine Diagram into Sequential SPIN Model
2016
Miyamoto Yuya
Ando Takahiro
Hisazumi Kenji
Yatsu Hirokazu
Fukuda Akira
Michiura Yasutaka
Sakemi Keita
Matsumoto Michihiro
Show All
Source
Cite
Save
Citations (0)
1