共 50 条
- [41] B Formal Modeling Based on UML Statechart 2015 FIFTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION AND MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC), 2015, : 1658 - 1663
- [43] Consistency checking of sequence diagrams and statechart diagrams using the π-calculus INTEGRATED FORMAL METHODS, PROCEEDINGS, 2005, 3771 : 347 - 365
- [44] Consistency checking of statechart diagrams of a class hierarchy ECOOP 2005 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2005, 3586 : 412 - 427
- [46] Minimally adequate teacher synthesizes statechart diagrams Acta Informatica, 2002, 38 : 235 - 259
- [47] Quantitative analysis of UML statechart models of dependable systems COMPUTER JOURNAL, 2002, 45 (03): : 260 - 277
- [49] A New approach to Detect Safety Violations in UML Statechart Models INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2008, 8 (07): : 167 - 174
- [50] A Review on Test Case Generation Methods Using UML Statechart 2019 4TH INTERNATIONAL CONFERENCE AND WORKSHOPS ON RECENT ADVANCES AND INNOVATIONS IN ENGINEERING (ICRAIE): THRIVING TECHNOLOGIES, 2019,