Old Web
English
Sign In
Acemap
>
authorDetail
>
Yatsu Hirokazu
Yatsu Hirokazu
Computer science
Systems Modeling Language
Theoretical computer science
Spin model
State diagram
3
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
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)
Formalization and Model Checking of SysML State Machine Diagrams by CSP
2013
Lecture Notes in Computer Science
Ando Takahiro
Yatsu Hirokazu
Kong WeiQiang
Hisazumi Kenji
Fukuda Akira
Show All
Source
Cite
Save
Citations (1)
A Comparative Study on Modeling for Verification -- Cases from Embedded Sysitems Design
2010
Nakajima Shin
Yatsu Hirokazu
Nonaka Akira
Sahara Shin
Show All
Source
Cite
Save
Citations (0)
1