𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal verification of systems with an unlimited number of components

✍ Scribed by Varekova, P.; Zimmerova, B.; Moravec, P.; Cerna, I.

Book ID
114445132
Publisher
The Institution of Engineering and Technology
Year
2008
Tongue
English
Weight
470 KB
Volume
2
Category
Article
ISSN
1751-8806

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Asymptotic reliability of a linearly con
Asymptotic reliability of a linearly connected system with an infinite number of components
✍ Vanderlei da Costa Bueno πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 95 KB

Many large engineering systems can be viewed as linearly connected systems imbedded into non-homogeneous Markov chains. In order to analyse asymptotic reliability for such systems we cannot apply the standard ergodic methods. In this paper we formulate a general structure for a linearly connected sy