✦ LIBER ✦

On hierarchically developing reactive systems

✍ Scribed by Naijun Zhan; Mila Majster-Cederbaum

Book ID: 113641910
Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 447 KB
Volume: 208
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2010.04.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards the hierarchical verification of

Towards the hierarchical verification of reactive systems

✍ Mila Majster-Cederbaum; Frank Salger 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 514 KB

On Hierarchical Correlation Systems

✍ Edwin B. Wilson 📂 Article 📅 1928 🏛 National Academy of Sciences 🌐 English ⚖ 260 KB

Hierarchical approaches for systems mode

Hierarchical approaches for systems modeling in cardiac development

✍ Gould, Russell A.; Aboulmouna, Lina M.; Varner, Jeffrey D.; Butcher, Jonathan T. 📂 Article 📅 2013 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 609 KB

Coherent dynamics on hierarchical system

Coherent dynamics on hierarchical systems

✍ Alexander Blumen; Veronika Bierbaum; Oliver Mülken 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 472 KB

SWITCH Technology: An Automated Approach

SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems

✍ A. A. Shalyto; N. I. Tukkel' 📂 Article 📅 2001 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 68 KB

A hierarchical systems formulation of th

A hierarchical systems formulation of the rural development process

✍ D.G.R. Belshaw; T.J. Bjorlo; M.M. Shah 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 729 KB

A very urgent and slgmficant set of problems facing developing countries arises m the area of rural development The rural development system ~s complex m the sense that ~t Is multidimensional, highly interacting and stochastic m nature In this paper a multflevel/h~erarch~cal formulation of the rural