共 50 条
- [25] Dunuen: A User-Friendly Formal Verification Tool KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES 2019), 2019, 159 : 1431 - 1438
- [26] A user-friendly benchmark tool for MOS models PROCEEDINGS OF THE INTERNATIONAL CONFERENCE MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2006, : 147 - +
- [28] A tool for versatile and user-friendly document correction PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON DOCUMENT ANALYSIS AND RECOGNITION, VOLS 1 AND 2, 1997, : 433 - 438