FORMAL DESCRIPTION OF NETWORK SYSTEMS USING A PREDICATE LANGUAGE

被引：0
|
作者：
GUREVICH, IM
机构：
来源：
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA | 1986年 / 06期
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：52 / 58
页数：7
相关论文
共 50 条
  • [21] FORMAL METHODS FOR ANALYSIS OF DISCRETE SYSTEMS USING A SPECIFICATION LANGUAGE
    Kryvyi, S. L.
    Chugayenko, A. V.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2009, 45 (04) : 528 - 543
  • [22] USING SPECIFICATION AND DESCRIPTION LANGUAGE TO FORMALIZE MULTIAGENT SYSTEMS
    Fonseca i Casas, Pau
    APPLIED ARTIFICIAL INTELLIGENCE, 2014, 28 (05) : 504 - 531
  • [23] Logical formal description of expert systems
    de la Sen, M
    Minambres, JJ
    Garrido, AJ
    Almansa, A
    INFORMATICA, 2002, 13 (02) : 177 - 208
  • [24] A mechanism for the formal description of dynamic systems
    Zamulin, AV
    PROGRAMMING AND COMPUTER SOFTWARE, 1999, 25 (05) : 243 - 251
  • [25] FORMAL DESCRIPTION OF REALTIME SYSTEMS - A REVIEW
    JOSEPH, M
    GOSWAMI, A
    INFORMATION AND SOFTWARE TECHNOLOGY, 1989, 31 (02) : 67 - 76
  • [26] FORMAL DESCRIPTION AND VERIFICATION OF PRODUCTION SYSTEMS
    LIU, NK
    DILLON, T
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1995, 10 (04) : 399 - 442
  • [27] Description of Complex Hierarchical Systems by Matrix-Predicate Method
    Polyakov, V. S.
    Polyakov, S., V
    ADVANCES IN AUTOMATION, 2020, 641 : 647 - 656
  • [28] Using Network Node Description Language for modeling networking scenarios
    Dobrilovic, Dalibor
    Stojanov, Zeljko
    Odadzic, Borislav
    Markoski, Branko
    ADVANCES IN ENGINEERING SOFTWARE, 2012, 43 (01) : 53 - 64
  • [29] Network Resource Description Language
    Campi, A.
    Callegati, F.
    2009 IEEE GLOBECOM WORKSHOPS, 2009, : 291 - 296
  • [30] THIRD INTERNATIONAL CONFERENCE ON THE FORMAL DESCRIPTION OF THE ALTAI LANGUAGE
    Tatevosov, S. G.
    VOPROSY YAZYKOZNANIYA, 2007, (02): : 152 - 154
12345