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 条
  • [1] FORMAL DESCRIPTION OF NETWORK SYSTEMS USING A PREDICATE LANGUAGE.
    Gurevich, I.M.
    Automatic Control and Computer Sciences, 1986, 20 (06) : 46 - 53
  • [2] The application of the formal description language LOTOS for the design of process control systems
    Wolkensdorfer, P
    Harangozo, J
    23RD EUROMICRO CONFERENCE - NEW FRONTIERS OF INFORMATION TECHNOLOGY, PROCEEDINGS, 1997, : 257 - 264
  • [3] Formal language description of mobile agent
    Hua Zhen
    Chu Yongli
    Sun Jing
    Zhang Yong
    Wang Yanqian
    Man Shushuang
    ICCSE'2006: Proceedings of the First International Conference on Computer Science & Education: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2006, : 683 - 685
  • [4] Using the network description language in optical networks
    van der Ham, Jeroen
    Grosso, Paola
    van der Pol, Ronald
    Toonk, Andree
    de Laat, Cees
    2007 10TH IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT (IM 2009), VOLS 1 AND 2, 2007, : 199 - +
  • [5] TOOLS FOR THE FORMAL DESCRIPTION LANGUAGE LOTOS
    SCHOO, P
    DEMEER, J
    SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 343 - 451
  • [6] Using a systems description language for complete avionics systems
    Barton, DL
    Fortier, SC
    1998 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 1, 1998, : 249 - 254
  • [7] Formal design of decimal arithmetic circuits using arithmetic description language
    Watanabe, Yuki
    Homma, Naofumi
    Aoki, Takafumi
    Higuchi, Tatsuo
    2006 INTERNATIONAL SYMPOSIUM ON INTELLIGENT SIGNAL PROCESSING AND COMMUNICATIONS, VOLS 1 AND 2, 2006, : 383 - +
  • [8] Using UML sequence diagrams as the basis for a formal test description language
    Pickin, S
    Jézéquel, JM
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 481 - 500
  • [9] Formal architectural description language based on symbolic transition systems and modal logic
    Poizat, Pascal
    Royer, Jean-Claude
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (12) : 1741 - 1782
  • [10] ELEMENTS FOR THE FORMAL DESCRIPTION OF SYSTEMS
    BOUTE, RT
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 284 : 63 - 90
12345