您要查找的是不是：
- 實(shí)時(shí)UML狀態(tài)機real-time UML State machine
- UML狀態(tài)機UML state machine
- 基于實(shí)時(shí)UML的雷達軟件設計Design of Radar Software Based on Real-time UML
- 機machine
- 狀態(tài)mode
- 實(shí)時(shí)UMLUML-RT
- UML狀態(tài)機的模型檢驗方法Model Checking of UML State Machines
- 實(shí)時(shí)real time
- 脫機off-line
- 面向模型檢驗的UML狀態(tài)機語(yǔ)義An Operational Semantics for UML State Machines in Model Checking Context
- UML狀態(tài)圖UML statechart
- 擴展UML狀態(tài)圖extended UML statechart
- 基于UML狀態(tài)圖的面向對象軟件測試用例生成UML State Diagram-based Test Case Generation of OO Software
- 從UML狀態(tài)圖到PVS規范的自動(dòng)轉換、驗證Automatic Transform UML Statechart into PVS
- 狀態(tài)機state machine
- 嵌入式建模中帶有時(shí)間擴展的UML狀態(tài)圖的形式化方法The Method of Formalize the Time-extended UML Statechart of Embedded System Modeling
- 然后從UML狀態(tài)圖的操作語(yǔ)義,提出了把Z語(yǔ)言和狀態(tài)圖結合自動(dòng)生成測試用例的方法。The paper is focus on the test case generation methods based on Z language and statechart.
- 狀態(tài)機類(lèi)machine class
- Z39.50協(xié)議模型的有限狀態(tài)機描述及面向對象的實(shí)現框架Modelling Z39.50 Protocol with DFA andBuilding an Object-Oriented Frame for Implementation
- 異步狀態(tài)機asynchronous state machine
