共 50 条
- [32] Autolink - A tool for automatic test generation from SDL specifications 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 114 - 125
- [33] Towards automatic generation of formal specifications for CML consistency verification 2015 2ND INTERNATIONAL CONFERENCE ON KNOWLEDGE-BASED ENGINEERING AND INNOVATION (KBEI), 2015, : 860 - 865
- [37] First specifications of an information system for urban soundscape IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS, PROCEEDINGS VOL 2, 1999, : 262 - 266
- [38] First specifications of an information system for urban soundscape International Conference on Multimedia Computing and Systems -Proceedings, 1999, 2 : 262 - 266
- [39] Automatic Code Generation from Real-Time Systems Specifications RSP 2009: TWENTIETH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2009, : 102 - 105