PDF | Modeling and formal verification for software self-adaptation are the basis ... 针对以上问题,本文将可视化的UML 模型与定义严格的时间自动机模型有机融合, ...
確定! 回上一頁