TY  - RPRT
TI  - A SCADE Model Verification Method Based on B-Model Transformation
AU  - Xili Hou
AU  - Keming Wang
AU  - Huibing Zhao
AU  - Ruiyin Shi
PY  - 2025
UR  - https://arxiv.org/abs/2505.00967
ID  - 2505.00967
ER  -