共 50 条
- [42] Achievements and Challenges in Automatic Locus and Envelope Animations in Dynamic Geometry Mathematics in Computer Science, 2019, 13 : 131 - 141
- [44] Dynamic model checking for concurrent programs in control system Computer Modelling and New Technologies, 2014, 18 (12): : 275 - 281
- [45] Elements for a Modular Dynamic Geometry System APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 1816 - 1820
- [47] A Symbolic Dynamic Geometry System Using the Analytical Geometry Method Mathematics in Computer Science, 2020, 14 : 693 - 726
- [48] An Educational Support System based on Automatic Impasse Detection in Programming Exercises 25TH INTERNATIONAL CONFERENCE ON COMPUTERS IN EDUCATION (ICCE 2017): TECHNOLOGY AND INNOVATION: COMPUTER-BASED EDUCATIONAL SYSTEMS FOR THE 21ST CENTURY, 2017, : 288 - 295
- [49] Automatic decomposition for sequential equivalence checking of system level and RTL descriptions FOURTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2006, : 71 - +
- [50] An automatic chip character checking system for circuit board quality control IECON'03: THE 29TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1 - 3, PROCEEDINGS, 2003, : 1767 - 1770