共 50 条
- [1] A tool-set for applying model-based reasoning techniques to diagnostics for power systems protection [J]. 2003 IEEE POWER ENGINEERING SOCIETY GENERAL MEETING, VOLS 1-4, CONFERENCE PROCEEDINGS, 2003, : 642 - 642
- [2] Software development in the Grid:: The DAMIEN tool-set [J]. COMPUTATIONAL SCIENCE - ICCS 2003, PT I, PROCEEDINGS, 2003, 2657 : 235 - 244
- [3] Basic concepts for an HDL reverse engineering tool-set [J]. 1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1996, : 134 - 141
- [4] STEPS: A software tool-set for automatEd protocol synthesis [J]. SIXTH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS, 1997, : 160 - 165
- [5] STEPS: A software tool-set for automated protocol synthesis [J]. International Journal of Computers and Applications, 1999, 21 (01): : 1 - 12
- [7] A Model-Based Testing Tool for Embedded Software [J]. 2012 SIXTH INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTING (ICGEC), 2012, : 180 - 183
- [8] ArgoSPE:: Model-based software performance engineering [J]. PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 401 - 410
- [9] Feature matching in model-based software engineering [J]. ENTERPRISE INFORMATION SYSTEMS VI, 2006, : 193 - 202
- [10] Model-based engineering of embedded control software [J]. JOINT MEETING OF THE FOURTH WORKSHOP ON MODEL-BASED DEVELOPMENT OF COMPUTER-BASED SYSTEMS AND THIRD INTERNATIONAL WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE, PROCEEDINGS, 2006, : 53 - 62