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 条
  • [41] A formal description language for multi-agent architectures
    Faulkner, Stephane
    Kolp, Manuel
    Wautelet, Yves
    Achbany, Youssef
    AGENT-ORIENTED INFORMATION SYSTEMS IV, 2008, 4898 : 143 - +
  • [42] Algebraic Model and Formal Description Language of Software Architecture
    Chen, Wei
    Li, Tong
    Li, Jinglei
    PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL II, 2009, : 659 - 665
  • [43] Neural systems language: A formal modeling language for the systematic description, unambiguous communication, and automated digital curation of neural connectivity
    Brown, Ramsay A.
    Swanson, Larry W.
    JOURNAL OF COMPARATIVE NEUROLOGY, 2013, 521 (13) : 2889 - 2906
  • [44] CLUB SYSTEMS - FORMAL MECHANISM FOR DESCRIPTION OF COMPLEX SYSTEMS
    BORSHCHEV, VB
    KHOMYAKOV, MV
    NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1976, (08): : 3 - 6
  • [45] Resource Description Language: A Unified Description Language for Network Embedded Resources
    Santos, Andre C.
    Pedrosa, Luis D.
    Kuipers, Martijn
    Rocha, Rui M.
    INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2012,
  • [46] A formal language for computational systems biology
    Errampalli, DD
    Priami, C
    Quaglia, P
    OMICS-A JOURNAL OF INTEGRATIVE BIOLOGY, 2004, 8 (04) : 370 - 380
  • [47] The Formal Description of Discrete-Event Systems Using Positively Constructed Formulas
    Davydov, Artem
    Larionov, Aleksandr
    Nagul, Nadezhda
    2017 40TH INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO), 2017, : 1161 - 1165
  • [48] TinkerType: a language for playing with formal systems
    Levin, MY
    Pierce, BC
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2003, 13 (02) : 295 - 316
  • [49] Improving interactive systems usability using formal description techniques: Application to HealthCare
    Palanque, Philippe
    Basnyat, Sandra
    Navarre, David
    HCI AND USABILITY FOR MEDICINE AND HEALTH CARE, PROCEEDINGS, 2007, 4799 : 21 - 40
  • [50] Towards a formal language of physical systems
    Feliot, C
    Cassar, JP
    Staroswiecki, M
    INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2768 - 2773
12345