ASNAP, A SYMBOLIC NETWORK ANALYSIS PROGRAM

被引：0
|
作者：
DEMEY, G
机构：
来源：
INTERNATIONAL JOURNAL OF ELECTRONICS | 1989年 / 67卷 / 03期
关键词：
D O I：
10.1080/00207218908921092
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：385 / 392
页数：8
相关论文
共 50 条
  • [1] SNAP - SYMBOLIC-NETWORK-ANALYSIS PROGRAM
    LIN, PM
    ALDERSON, GE
    [J]. PROCEEDINGS OF THE INSTITUTION OF ELECTRICAL ENGINEERS-LONDON, 1972, 119 (02): : 160 - &
  • [2] TOLERANCES IN SYMBOLIC NETWORK ANALYSIS
    STARZYK, JA
    SLIWA, E
    [J]. 1989 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-3, 1989, : 810 - 813
  • [3] Applications of symbolic network analysis
    Topa, MD
    Simion, E
    [J]. ICECS 96 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS, AND SYSTEMS, VOLS 1 AND 2, 1996, : 108 - 111
  • [4] Symbolic analysis techniques for program parallelization
    Fahringer, T
    [J]. FUTURE GENERATION COMPUTER SYSTEMS, 1998, 13 (4-5) : 385 - 396
  • [5] Program analysis using symbolic ranges
    Sankaranarayanan, Sriram
    Ivancic, Franjo
    Gupta, Aarti
    [J]. STATIC ANALYSIS, PROCEEDINGS, 2007, 4634 : 366 - 383
  • [6] Program for Symbolic Analysis of Mechatronic Systems
    Kolka, Zdenek
    Kalous, Jaroslav
    Biolkova, Viera
    Biolek, Dalibor
    [J]. 2013 IEEE 4TH LATIN AMERICAN SYMPOSIUM ON CIRCUITS AND SYSTEMS (LASCAS), 2013,
  • [7] Symbolic network analysis with the network expansion diagram
    Yin, Zong-Mou
    [J]. Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2002, 30 (11): : 1629 - 1632
  • [8] SYMBOLIC NETWORK ANALYSIS - AN ALGEBRAIC FORMULATION
    SANNUTI, P
    PURI, NN
    [J]. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, 1980, 27 (08): : 679 - 687
  • [9] Improving the Efficiency of Program Analysis with Symbolic Execution
    Fedorov, Alexey
    Kokin, Vitaliy
    Andrianov, Andrey
    Vysochkin, Alexey
    [J]. PROCEEDINGS OF THE 2017 IEEE RUSSIA SECTION YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING CONFERENCE (2017 ELCONRUS), 2017, : 390 - 393
  • [10] SymAnalyzer: A Symbolic Analysis Tool for Program Comprehension
    Laitila, Erkki
    [J]. 13TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING: CSMR 2009, PROCEEDINGS, 2009, : 325 - 326
12345