EXTENDED STATE DIAGRAMS AND REACTIVE SYSTEMS

被引：0
|
作者：
DRUSINSKY, D
机构：
来源：
DR DOBBS JOURNAL | 1994年 / 19卷 / 11期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：72 / &
相关论文
共 50 条
  • [1] Interacting Extended State Diagrams
    Salauen, Gwen
    Poizatb, Pascal
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 115 : 49 - 57
  • [2] Predicate diagrams for the verification of reactive systems
    Cansell, D
    Méry, D
    Merz, S
    [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 380 - 397
  • [3] Defeasible inheritance systems and reactive diagrams
    Gabbay, Dov M.
    Schlechta, Karl
    [J]. LOGIC JOURNAL OF THE IGPL, 2009, 17 (01) : 1 - 54
  • [4] Extended Algebraic State-Transition Diagrams
    Tidjon, Lionel N.
    Frappier, Marc
    Leuschel, Michael
    Mammar, Amel
    [J]. 2018 23RD INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2018, : 146 - 155
  • [5] Using state diagrams in complex reactive subsystem design
    Drusinsky, D
    [J]. COMPUTER DESIGN, 1996, 35 (01): : 84 - 84
  • [6] STATE DIAGRAMS OF PERFLUOROCARBON SOLVENT SYSTEMS
    DOBNIK, E
    BORCHARD, W
    [J]. MAKROMOLEKULARE CHEMIE-MACROMOLECULAR SYMPOSIA, 1990, 39 : 249 - 270
  • [7] INTERACTION PARAMETERS AND STATE DIAGRAMS OF QUASIBINARY SYSTEMS
    KORENCHUK, NM
    PRACH, PI
    [J]. ZHURNAL FIZICHESKOI KHIMII, 1983, 57 (08): : 1857 - 1866
  • [8] Dynamic state phase diagrams for nucleated systems
    Anisimov, M
    Shandakov, S
    Pinaev, V
    Shvets, I
    Hopke, P
    [J]. NUCLEATION AND ATMOSPHERIC AEROSOLS 2000, 2000, 534 : 315 - 318
  • [9] DIAGRAMS OF STATE OF SEMICONDUCTOR SYSTEMS - SYMPOSIUM IN MOSCOW
    ABRIKOSO.NK
    SHELIMOV.LE
    [J]. VESTNIK AKADEMII NAUK SSSR, 1972, (01) : 91 - &
  • [10] Modeling the State Diagrams of Ternary Reciprocal Systems
    Khaldoyanidi, K. A.
    [J]. RUSSIAN JOURNAL OF PHYSICAL CHEMISTRY A, 2014, 88 (12) : 2019 - 2022
12345