Merger debuts with verification tools

被引：0
|
作者：
Moretti, G
机构：
来源：
EDN | 2001年 / 46卷 / 14期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：22 / 22
页数：1
相关论文
共 50 条
  • [21] A COMPARISON OF LIBRARY TOOLS FOR MONOGRAPH VERIFICATION
    GROOT, EH
    [J]. LIBRARY RESOURCES & TECHNICAL SERVICES, 1981, 25 (02): : 149 - 161
  • [22] Complexity of Security Protocols Verification Tools
    Mazur, Michal
    Kurkowski, Miroslaw
    [J]. 2019 IEEE 15TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS (INFORMATICS 2019), 2019, : 403 - 408
  • [23] Evaluating Automated Software Verification Tools
    Prause, Christian R.
    Gerlich, Rainer
    Gerlich, Ralf
    [J]. 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2018, : 343 - 353
  • [24] Integrated program verification tools in education
    de Caso, Guido
    Garbervetsky, Diego
    Gorin, Daniel
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (04): : 403 - 418
  • [25] Mathematical Tools for SDN Formalisation and Verification
    Abu-Jassar, Amer Tahseen Salameh
    [J]. 2015 SECOND INTERNATIONAL SCIENTIFIC-PRACTICAL CONFERENCE PROBLEMS OF INFOCOMMUNICATIONS SCIENCE AND TECHNOLOGY (PIC S&T 2015), 2015, : 35 - 38
  • [26] Software Verification and Validation Technologies and Tools
    Rodriguez, Moises
    Piattini, Mario
    Ebert, Christof
    [J]. IEEE SOFTWARE, 2019, 36 (02) : 13 - 24
  • [27] A taxonomy for classifying runtime verification tools
    Yliès Falcone
    Srđan Krstić
    Giles Reger
    Dmitriy Traytel
    [J]. International Journal on Software Tools for Technology Transfer, 2021, 23 : 255 - 284
  • [28] Tools for automated verification of Web services
    Bultan, T
    Fu, X
    Su, JW
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 8 - 10
  • [29] Quality Verification Tools for Quality Software
    Bagnara, Roberto
    [J]. 2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2013, : XVII - XVII
  • [30] Runtime Verification for Hybrid Analysis Tools
    Luan Viet Nguyen
    Schilling, Christian
    Bogomolov, Sergiy
    Johnson, Taylor T.
    [J]. RUNTIME VERIFICATION, RV 2015, 2015, 9333 : 281 - 286
12345