共 50 条
- [41] A Symbolic Algorithm for the Analysis of Robust Timed Automata FM 2014: FORMAL METHODS, 2014, 8442 : 351 - 366
- [45] Supporting Algorithm Analysis with Symbolic Execution in Alk THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 406 - 423
- [46] Symbolic algorithm analysis of rectangular hybrid systems THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2008, 4978 : 294 - 305
- [47] INCREASE IN DECOMPOSITION ALGORITHM EFFICIENCY IN SYMBOLIC ANALYSIS IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII RADIOELEKTRONIKA, 1985, 28 (06): : 102 - 104
- [48] Symbolic analysis. A new approach to linear circuit cad Electronic Product Design, 1993, 14 (02):
- [49] A symbolic analysis method to ideal soft switching circuit system ICIEA 2007: 2ND IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, VOLS 1-4, PROCEEDINGS, 2007, : 1956 - +