您要查找的是不是:
- 實時UML狀態機real-time UML State machine
- UML狀態機UML state machine
- 基於實時UML的雷達軟體設計Design of Radar Software Based on Real-time UML
- 機machine
- 狀態mode
- 實時UMLUML-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