您要查找的是不是：
- 实时UML状态机 real-time UML State machine
- UML状态机 UML state machine
- 基于实时UML的雷达软件设计 Design of Radar Software Based on Real-time UML
- 机 machine
- 状态 mode
- 实时UML UML-RT
- UML状态机的模型检验方法 Model Checking of UML State Machines
- 实时 real time
- 脱机 off-line
- 面向模型检验的UML状态机语义 An Operational Semantics for UML State Machines in Model Checking Context
- UML状态图 UML statechart
- 扩展UML状态图 extended UML statechart
- 基于UML状态图的面向对象软件测试用例生成 UML State Diagram-based Test Case Generation of OO Software
- 从UML状态图到PVS规范的自动转换、验证 Automatic Transform UML Statechart into PVS
- 状态机 state machine
- 嵌入式建模中带有时间扩展的UML状态图的形式化方法 The Method of Formalize the Time-extended UML Statechart of Embedded System Modeling
- 然后从UML状态图的操作语义,提出了把Z语言和状态图结合自动生成测试用例的方法。 The paper is focus on the test case generation methods based on Z language and statechart.
- 状态机类 machine class
- Z39.50协议模型的有限状态机描述及面向对象的实现框架 Modelling Z39.50 Protocol with DFA andBuilding an Object-Oriented Frame for Implementation
- 异步状态机 asynchronous state machine
