研究文章

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

图10

一般分解精度法