共 50 条
- [1] Graphical Specification Language for Distributed Systems CIC 2006: 15TH INTERNATIONAL CONFERENCE ON COMPUTING, PROCEEDINGS, 2006, : 385 - +
- [3] A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5795 : 606 - 621
- [4] MANUFACTURING SYSTEMS MODELING, SPECIFICATION AND ANALYSIS PRODUCTION MANAGEMENT METHODS, 1994, 19 : 75 - 83
- [5] A graphical property specification language 1997 HIGH-ASSURANCE ENGINEERING WORKSHOP - PROCEEDINGS, 1997, : 42 - 47
- [6] A specification language and a framework for the execution of composite models in systems biology TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY VII, 2006, 4230 : 163 - 184
- [7] Modeling of Manufacturing Execution Systems: an Interdisciplinary Challenge 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
- [9] GSPEC - A GRAPHICAL SPECIFICATION LANGUAGE FOR SOFTWARE SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1989, 32 (10): : 1260 - 1269