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 条
  • [31] Study on formal description style of network protocol
    Li, Layuan
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 19 (03): : 62 - 69
  • [32] Model integration for managerial decision support using a model description language with a formal semantics
    Shiba, N
    Iijima, J
    Ohta, K
    CYBERNETICS AND SYSTEMS, 1999, 30 (08) : 761 - 781
  • [33] A formal description for protocols in WSN based on STeC language
    Wang Na
    Liu DongQian
    He KangLi
    PROCEEDINGS OF THE 2013 8TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION (ICCSE 2013), 2013, : 921 - 924
  • [34] THE FORMAL DESCRIPTION OF NATURAL-LANGUAGE SENTENCE MEANING
    REDKO, LF
    VESTNIK LENINGRADSKOGO UNIVERSITETA SERIYA MATEMATIKA MEKHANIKA ASTRONOMIYA, 1985, (02): : 110 - 112
  • [35] Formal Description of Alvis Language with α0 System Layer
    Szpyrka, Marcin
    Matyasik, Piotr
    Mrowka, Rafal
    Kotulski, Leszek
    FUNDAMENTA INFORMATICAE, 2014, 129 (1-2) : 161 - 176
  • [36] Enhancements in formal process description by using a formal method
    Xin, Cheng
    Grunau, Lukas
    Thron, Mario
    Riedl, Matthias
    AT-AUTOMATISIERUNGSTECHNIK, 2023, 71 (03) : 198 - 208
  • [37] VeriFormal: An Executable Formal Model of a Hardware Description Language
    Khan, Wilayat
    Tiu, Alwen
    Sanan, David
    SYSTEMS APPROACH TO CYBER SECURITY, 2017, 15 : 19 - 36
  • [38] CAD tool extension for formal building description language
    Oliveira, JN
    ADVANCES IN ENGINEERING SOFTWARE, 1998, 29 (7-9) : 571 - 586
  • [39] CADL - A FORMAL DESCRIPTION LANGUAGE FOR PARALLEL COMPUTER ARCHITECTURES
    EICHENSEHER, I
    UNGERER, T
    ZEHENDNER, E
    MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 363 - 370
  • [40] Formal description of ellipses in Arabic language and resolution process
    Kais, H
    Abdelmajid, BH
    1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1785 - 1789
12345