Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
SMC
/
Paper
A Tool for Transforming SysML State Machine into Uppaal Automatically.
Shaopeng Wang
,
Jianqi Shi
,
Yanhong Huang
,
Yang Yang
Venue
B
SMC
Year
2023
Proceedings
SMC
DBLP record
conf/smc/WangSHY23 ↗
Browse the full
SMC paper archive
.