共 50 条
- [31] Hierarchical interface-based non-blocking verification 2000 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, CONFERENCE PROCEEDINGS, VOLS 1 AND 2: NAVIGATING TO A NEW ERA, 2000, : 1 - 6
- [32] An Enhanced Interface-Based Probabilistic Compositional Verification Approach VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2023, 2024, 14368 : 60 - 75
- [33] Synthesis method for hierarchical interface-based supervisory control 2007 AMERICAN CONTROL CONFERENCE, VOLS 1-13, 2007, : 3387 - 3394
- [36] Design and evaluation of an interface-based naming system for supporting service synthesis in a ubiquitous computing environment ELECTRONICS AND COMMUNICATIONS IN JAPAN PART I-COMMUNICATIONS, 2005, 88 (03): : 63 - 75
- [37] LOOP TRANSFORMATIONS FOR INTERFACE-BASED HIERARCHIES IN SDF GRAPHS 21ST IEEE INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS, 2010,
- [39] Asynchronous Brain Machine Interface-Based Control of a Wheelchair SOFTWARE TOOLS AND ALGORITHMS FOR BIOLOGICAL SYSTEMS, 2011, 696 : 565 - 572
- [40] An interface-based naming system for ubiquitous Internet applications REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 312 - 327