共 50 条
- [2] Semi-formal and formal models applied to flexible manufacturing systems [J]. COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 718 - 728
- [3] Integrating semi-formal and formal requirements [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING, 1997, 1250 : 19 - 32
- [4] Linking paradigms, semi-formal and formal notations [J]. TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 166 - 184
- [5] Can semi-formal be made more formal? [J]. NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS, 2007, : 193 - +
- [7] On combining semi-formal and formal object specification techniques [J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1998, 1376 : 238 - 252
- [8] Crossing the borderline - From formal to semi-formal specifications [J]. SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY, 2006, 227 : 73 - 84
- [10] Semi-formal verification at IBM [J]. HLDVT'06: ELEVENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2006, : 152 - 152