共 50 条
- [32] Information Technology Strategic Planning: Modeling, Analysis and Verification of Business Processes MODSIM 2007: INTERNATIONAL CONGRESS ON MODELLING AND SIMULATION: LAND, WATER AND ENVIRONMENTAL MANAGEMENT: INTEGRATED SYSTEMS FOR SUSTAINABILITY, 2007, : 1811 - 1817
- [33] Verification of simplified gait analysis PERIODICA POLYTECHNICA-CIVIL ENGINEERING, 2009, 53 (01): : 9 - 13
- [34] Analysis and Verification of Key Performance Parameters of Cellular Network on CEMoD Portal 2017 2ND IEEE INTERNATIONAL CONFERENCE ON RECENT TRENDS IN ELECTRONICS, INFORMATION & COMMUNICATION TECHNOLOGY (RTEICT), 2017, : 2095 - 2100
- [35] Reusable Verification Environment for verification of Ethernet packet in Ethernet IP core, a verification strategy-an analysis INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2008, 8 (11): : 226 - 237
- [37] Frequency Response Verification of Analog Circuits Using Global Optimization Techniques Journal of Electronic Testing, 2001, 17 : 395 - 408
- [40] Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities Mobile Networks and Applications, 2023, 28 : 732 - 743