共 50 条
- [41] Language-Theoretic Abstraction Refinement FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, 2012, 7212 : 362 - 376
- [42] NUMEROSITY, ABSTRACTION, AND THE EMERGENCE OF METAPHOR IN LANGUAGE EVOLUTION OF LANGUAGE, PROCEEDINGS, 2010, : 74 - 82
- [43] Automated Debugging with High Level Abstraction and Refinement 2009 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, 2009, : 26 - +
- [44] Automated abstraction methodology for genetic regulatory networks TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY VI, 2006, 4220 : 150 - +
- [45] Extraction of generalized rules with automated attribute abstraction Foundations of Data Mining and Knowledge Discovery, 2005, 6 : 161 - 170
- [46] Automated and dynamic abstraction of MPI application performance Cluster Computing, 2016, 19 : 1105 - 1137
- [47] Toward automated abstraction for protocols on branching networks IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2000, : 147 - 152
- [48] Automata Learning with Automated Alphabet Abstraction Refinement VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 263 - 277
- [49] Abstraction and refinement techniques in automated design debugging 2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 1182 - 1187
- [50] Replication and Abstraction: Symmetry in Automated Formal Verification SYMMETRY-BASEL, 2010, 2 (02): : 799 - 847