共 50 条
- [32] A High-Level Language for Modeling Algorithms and Their Properties FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2011, 6527 : 49 - +
- [33] METACSL: Specification and Verification of High-Level Properties TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, 2019, 11427 : 358 - 364
- [35] Enforcing high-level security properties for applets SMART CARD RESEARCH AND ADVANCED APPLICATIONS VI, 2004, 153 : 1 - 16
- [36] High-level replacement units and their termination properties JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2005, 16 (06): : 485 - 507
- [37] High-level observability for effective high-level ATPG Proceedings of the IEEE VLSI Test Symposium, 2000, : 411 - 416