科学编程
研究文章

时间精度框架基础iUML-B状态机

图2

序列定时自动机模式