共 50 条
- [42] CHARACTERISTICS OF SOME HIGH-POWER EAR LEVEL AIDS AND BATTERIES TEACHER OF THE DEAF, 1978, 2 (05): : 163 - 168
- [44] Recovering High-Level Conditions from Binary Programs FM 2016: FORMAL METHODS, 2016, 9995 : 235 - 253
- [46] Nested constraints and application conditions for high-level structures FORMAL METHODS IN SOFTWARE AND SYSTEMS MODELING, 2005, 3393 : 293 - 308
- [50] High-level observability for effective high-level ATPG Proceedings of the IEEE VLSI Test Symposium, 2000, : 411 - 416