共 50 条
- [41] INTEGRATED TELECOM AND DATA RING NETWORK PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS, 1985, 522 : 94 - 97
- [42] FAMNET - AN INTEGRATED VOICE AND DATA NETWORK IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1987, 134 (01): : 1 - 8
- [43] Structural Considerations in Defining Executable Process Models TRUSTWORTHY SOFTWARE DEVELOPMENT PROCESSES, PROCEEDINGS, 2009, 5543 : 366 - 376
- [44] Compiling business process models into executable code Handbook of Res. on Bus. Proc. Modeling, 1600, (318-337):
- [45] An integrated executable architecture framework for System of Systems development JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS, 2013, 10 (04): : 435 - 448
- [46] TROUBLESHOOTING THROUGHPUT BOTTLENECKS USING EXECUTABLE MODELS COMPUTER NETWORKS AND ISDN SYSTEMS, 1992, 24 (01): : 33 - 43
- [47] Executable models for human-computer interaction INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, 2008, 5136 : 238 - 251
- [48] The quest for runware: on compositional, executable and intuitive models Software & Systems Modeling, 2012, 11 : 599 - 608
- [49] Verifying Distributed Algorithms with Executable Creol Models PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON PERFORMANCE, SAFETY AND ROBUSTNESS IN COMPLEX SYSTEMS AND APPLICATIONS (PESARO 2011), 2011, : 1 - 6
- [50] The quest for runware: on compositional, executable and intuitive models SOFTWARE AND SYSTEMS MODELING, 2012, 11 (04): : 599 - 608