MODEL-BASED DIAGNOSIS OF COMMUNICATION PROTOCOLS

被引：0
|
作者：
RIESE, M
机构：
来源：
AI COMMUNICATIONS | 1994年 / 7卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：72 / 72
页数：1
相关论文
共 50 条
  • [1] A model-based statistical usage testing of communication protocols
    Popovic, Miroslav
    Basicevic, Ilija
    Velikic, Ivan
    Tatic, Jelena
    13TH ANNUAL IEEE INTERNATIONAL SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS: MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS, 2006, : 377 - +
  • [2] Model-Based Actor Multiplexing with Application to Complex Communication Protocols
    Zebelein, Christian
    Haubelt, Christian
    Falk, Joachim
    Schwarzer, Tobias
    Teich, Juregen
    2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014,
  • [3] Towards Model-Based Anomaly Detection in Network Communication Protocols
    Bieniasz, Jedrzej
    Sapiecha, Piotr
    Smolarczyk, Milosz
    Szczypiorski, Krzysztof
    2016 2ND INTERNATIONAL CONFERENCE ON FRONTIERS OF SIGNAL PROCESSING (ICFSP), 2015, : 126 - 130
  • [4] ON TESTING AND DIAGNOSIS OF COMMUNICATION PROTOCOLS BASED ON THE FSM MODEL
    RAMALINGAM, T
    DAS, A
    THULASIRAMAN, K
    COMPUTER COMMUNICATIONS, 1995, 18 (05) : 329 - 337
  • [5] Model-based testing of cryptographic protocols
    Rosenzweig, D
    Runje, D
    Schulte, W
    TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 33 - 60
  • [6] Model-Based Evaluation of Distributed Intrusion Detection Protocols for Mobile Group Communication Systems
    Jin-Hee Cho
    Ing-Ray Chen
    Wireless Personal Communications, 2011, 60 : 725 - 750
  • [7] Model-Based Evaluation of Distributed Intrusion Detection Protocols for Mobile Group Communication Systems
    Cho, Jin-Hee
    Chen, Ing-Ray
    WIRELESS PERSONAL COMMUNICATIONS, 2011, 60 (04) : 725 - 750
  • [8] Model-Based Testing of Internet of Things Protocols
    van Dommelen, Xavier Manuel
    van der Bijl, Machiel
    Pimentel, Andy
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), 2022, 13487 : 172 - 189
  • [9] Model partitioning for model-based diagnosis
    Katsillis, G
    Chantler, MJ
    (SAFEPROCESS'97): FAULT DETECTION, SUPERVISION AND SAFETY FOR TECHNICAL PROCESSES 1997, VOLS 1-3, 1998, : 845 - 850
  • [10] Model-based diagnosis in medicine
    Lucas, PJF
    ARTIFICIAL INTELLIGENCE IN MEDICINE, 1997, 10 (03) : 201 - 208
12345