State Fence Diagrams : A Visual Formalism to Analyze Discrete-Event Systems
スポンサーリンク
概要
- 論文の詳細を見る
The usage of a diagram, which we call a state fence diagram (SFD), for analyzing discrete event systems such as reactive systems, is presented. This diagram is useful for event concurrent response and scenario analysis by using its three description styles.
- 社団法人電子情報通信学会の論文
- 1997-05-25
著者
-
Shidama Yasunari
Department Of Information Engineering Faculty Of Engineering Shinshu University
-
Kobayashi Hiromi
Department Of Dermatology Osaka City University Graduate School Of Medicine
-
Kobayashi Hiromi
Department Of Management Engineering School Of Engineering Tokai University
関連論文
- Frequent aberrant methylation of the promoter region of sterile α motif domain 14 in pulmonary adenocarcinoma
- An Extract of the Root of Lithospermun erythrorhison Accelerates Wound Healing in Diabetic Mice
- A Formal Technique to Analyze Event Concurrent Response
- Laminin-511, inducer of hair growth, is down-regulated and its suppressor in hair growth, laminin-332 up-regulated in chemotherapy-induced alopecia
- Increased cytoplasmic S100A6 expression is associated with pulmonary adenocarcinoma progression
- Sensitization from cobalt chloride by patch testing
- State Fence Diagrams : A Visual Formalism to Analyze Discrete-Event Systems
- A case of contact dermatitis due to arbutin
- Spatial and temporal control of laminin-511 and -332 expressions during catagen
- The papillary structure identified by a novel nail wound healing model in mice
- Yellow urticaria associated with hepatitis type-C liver cirrhosis
- Properties of Role-Based Access Control in a Teaching Management System(Educational Technology)
- Checking of Timing Constraint Violation Based on Graph in Reactive Systems
- Effect of Normal Human Erythrocytes on Blood Rheology in Microcirculation
- Allergic contact dermatitis caused by gum rosin and wood rosin in Tako-no-Suidashi ointment
- Recalcitrant subungual verruca of a child successfully treated with combination use of traditional Japanese herbal medicines, shokenchuto and makyoyokukanto
- Atypical epidermolysis bullosa simplex with a missense keratin 14 mutation p.Arg125Cys
- A Fixed-Point Theoretic Solution of the Hamilton-Jacobi Equation and Its Application to Nonlinear H_∞ Control