𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A reachability tree for statecharts and analysis of some properties

✍ Scribed by PC Masiero; JC Maldonado; IG Boaventura


Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
903 KB
Volume
36
Category
Article
ISSN
0950-5849

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A TREE-BASED METHOD OF ANALYSIS FOR PROS
✍ HEPING ZHANG; THEODORE HOLFORD; MICHAEL B. BRACKEN πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 874 KB

Prospective studies often involve rare events as study outcomes, and a primary concern is to identify risk factors and risk groups associated with the outcomes. We discuss practical solutions to risk factor analyses in prospective studies and address strategies to determine tree structures, to estim

A Tukey decomposition of ΞΊΞ» and the tree
✍ Masayuki Karato πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 147 KB

Generalizing a result of TodorčeviΔ‡, we prove the existence of directed sets D, E such that D β‰₯ PΞΊΞ» and E β‰₯ PΞΊΞ» but D Γ— E β‰₯ PΞΊΞ» in the Tukey ordering. As an application, we show that the tree property for directed sets introduced by Hinnion is not preserved under products.