共 50 条
- [1] Symbolic analysis tools - The state-of-the-art [J]. ISCAS 96: 1996 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - CIRCUITS AND SYSTEMS CONNECTING THE WORLD, VOL 4, 1996, : 798 - 801
- [2] State-of-the-art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems [J]. DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012), 2012, : 370 - 375
- [3] INFLUENCE ANALYSIS: A SURVEY OF THE STATE-OF-THE-ART [J]. MATHEMATICAL FOUNDATIONS OF COMPUTING, 2018, 1 (03): : 201 - 253
- [4] A Survey of the State-of-the-Art Fault Attacks [J]. 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), 2014, : 152 - 155
- [5] Modal analysis of LSS: A state-of-the-art survey [J]. SPACE DEVELOPMENT AND COOPERATION AMONG ALL PACIFIC BASIN COUNTRIES, 2002, 110 : 301 - 301
- [6] Free and Open Source Fault Tree Analysis Tools Survey [J]. 2017 11TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2017, : 612 - 619
- [8] State-of-the-Art Pipeline A/D Converter Survey and Analysis [J]. 2012 INTERNATIONAL CONFERENCE ON INFORMATICS, ELECTRONICS & VISION (ICIEV), 2012, : 476 - 481
- [9] A State-of-the-art Analysis of Innovation Models and Innovation Software Tools [J]. PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON INNOVATION AND ENTREPRENEURSHIP (ECIE 2015), 2015, : 237 - 245