共 50 条
- [1] Graphical Specification Language for Distributed Systems [J]. 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 [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5795 : 606 - 621
- [4] MANUFACTURING SYSTEMS MODELING, SPECIFICATION AND ANALYSIS [J]. PRODUCTION MANAGEMENT METHODS, 1994, 19 : 75 - 83
- [5] A graphical property specification language [J]. 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 [J]. TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY VII, 2006, 4230 : 163 - 184
- [7] Modeling of Manufacturing Execution Systems: an Interdisciplinary Challenge [J]. 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
- [9] GSPEC - A GRAPHICAL SPECIFICATION LANGUAGE FOR SOFTWARE [J]. SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1989, 32 (10): : 1260 - 1269
- [10] GSPEC: A GRAPHICAL SPECIFICATION LANGUAGE FOR SOFTWARE [J]. Science China Mathematics, 1989, (10) : 1260 - 1269