ON FORMAL DESCRIPTION OF AUTOMATA NETWORKS

被引：0
|
作者：
HIRSCH, HJ
机构：
来源：
ELECTRONISCHE DATENVERARBEITUNG | 1969年 / 11卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：251 / &
相关论文
共 50 条
  • [41] A Bialgebraic Approach to Automata and Formal Language Theory
    Worthington, James
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 451 - 467
  • [42] Relations between networks of standard automata and networks of I/O automata
    Lunze, Jan
    WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 425 - 430
  • [43] Formal description of disease courses
    van der Maas, AAF
    ter Hofstede, AHM
    ARTIFICIAL INTELLIGENCE IN MEDICINE, 2000, 18 (01) : 29 - 55
  • [44] TOWARDS A FORMAL THEORY OF DESCRIPTION
    TCHON, K
    WOJCIECHOWSKA, J
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1981, 6 (04) : 217 - 224
  • [45] Integrating formal description techniques
    Schätz, B
    Huber, F
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1206 - 1225
  • [46] Formal description of multimedia presentations
    Li, ML
    Sun, YQ
    Sheng, HY
    FOURTH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN AND COMPUTER GRAPHICS, 1996, 2644 : 732 - 737
  • [47] Trends in formal description techniques
    Gotzhein, R
    Bredereke, J
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1998, 30 (9-10): : 863 - 864
  • [48] Formal description of hybrid systems
    Chaochen, Z.
    Ji, W.
    Ravn, A.P.
    Lecture Notes in Computer Science, 1996, 1066
  • [49] ELEMENTS FOR THE FORMAL DESCRIPTION OF SYSTEMS
    BOUTE, RT
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 284 : 63 - 90
  • [50] Method Engineering: A Formal Description
    Sunyaev, Ali
    Hansen, Matthias
    Krcmar, Helmut
    INFORMATION SYSTEMS DEVELOPMENT: TOWARDS A SERVICE PROVISION SOCIETY, 2009, : 645 - 654
12345