formal operational semantics
...t层次模型#142．3．1@状态(State)#142．3．2@迁移关系(Transition)#162．3．3@ 形式化操作语义 ( Formal Operational Semantics )#20小结#22第3章@UML Statechart测试用例生成方法#233．1@UML Statechart测试方法#233．1．1@UML Statechart层次状态机的故障#2...
基于16个网页-相关网页
formal operational semantics
形式操作语义
以上为机器翻译结果，长、整句建议使用 人工翻译 。