ON FORMAL DESCRIPTION OF AUTOMATA NETWORKS

被引：0
|
作者：
HIRSCH, HJ
机构：
来源：
ELECTRONISCHE DATENVERARBEITUNG | 1969年 / 11卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：251 / &
相关论文
共 50 条
  • [1] An evolving algebra approach to formal description of a class of automata networks
    Severyanov, VM
    NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 2003, 502 (2-3): : 546 - 548
  • [2] Formal Validation of Neural Networks as Timed Automata
    De Maria, Elisabetta
    Di Giusto, Cinzia
    Ciatto, Giovanni
    PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SYSTEMS-BIOLOGY AND BIOINFORMATICS (CSBIO 2017), 2017, : 15 - 22
  • [3] REGULATORY NETWORKS SEEN AS ASYNCHRONOUS AUTOMATA - A LOGICAL DESCRIPTION
    THOMAS, R
    JOURNAL OF THEORETICAL BIOLOGY, 1991, 153 (01) : 1 - 23
  • [4] A Transport Protocol and Its Formal Description for Local Networks
    Li Layuan Wuhan Transportation University
    Journal of Systems Engineering and Electronics, 1998, (01) : 48 - 55
  • [5] Formal Description and Verification of a Transport Protocol for Local Networks
    李腊元
    Journal of Computer Science & Technology, 1990, (01) : 64 - 70
  • [6] A transport protocol and its formal description for local networks
    Li, LY
    Li, CL
    Xue, SJ
    1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1616 - 1619
  • [7] Formal languages and automata
    Farina, Martin Pereira
    Sobrino, Alejandro
    AGORA-PAPELES DE FILOSOFIA, 2023, 43 (01):
  • [8] Embedding parallelohedra into primitive cubic networks and structural automata description
    Bouniaev, Mikhail M.
    Krivovichev, Sergey, V
    ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 2020, 76 : 698 - 712
  • [9] Application of Diagrams of Deterministic Finite Automata for a Formal Description of Operating Modes of Electrical Apparatuses
    Godzhello A.G.
    Kukin E.A.
    Murzakaev P.V.
    Russian Electrical Engineering, 2018, 89 (04) : 255 - 260
  • [10] A DESCRIPTION OF AN AUTOMATA
    VAVILOV, YN
    LOBANOV, LP
    ENGINEERING CYBERNETICS, 1966, (03): : 332 - &
12345