共 50 条
- [3] Automated integrative analysis of state-based requirements [J]. 13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 125 - 134
- [5] State-based planning [J]. INDUCTIVE SYNTHESIS OF FUNCTIONAL PROGRAMS: UNIVERSAL PLANNING, FOLDING OF FINITE PROGRAMS, AND SCHEMA ABSTRACTION BY ANALOGICAL REASONING, 2003, 2654 : 13 - 54
- [6] A state-based peridynamic model for quantitative fracture analysis [J]. International Journal of Fracture, 2018, 211 : 217 - 235
- [8] Abstraction Techniques for Compositional State-based Scheduling Analysis [J]. 2012 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEM ENGINEERING (SBESC 2012), 2012, : 166 - 171
- [9] State-based power analysis for systems-on-chip [J]. 40TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2003, 2003, : 638 - 641
- [10] Web-based biometric mouse intelligent system for analysis of emotional state and labour productivity [J]. 25TH INTERNATIONAL SYMPOSIUM ON AUTOMATION AND ROBOTICS IN CONSTRUCTION - ISARC-2008, 2008, : 429 - +