𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Zeus: A Distributed Timed Model-Checker Based on Kronos

✍ Scribed by V. Braberman; A. Olivero; F. Schapachnik

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
239 KB
Volume
68
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The RAMI On-line Model Checker (ROMC): A
The RAMI On-line Model Checker (ROMC): A web-based benchmarking facility for canopy reflectance models
✍ J.-L. Widlowski; M. Robustelli; M. Disney; J.-P. Gastellu-Etchegorry; T. Lavergn πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 469 KB

The exploitation of global Earth Observation data hinges increasingly on physically-based radiative transfer (RT) models. These models simulate the interactions of solar radiation within a given medium (e.g., clouds, plant canopies) and are used to generate look-up-tables that are embedded into quan

Estimating failure time distribution and
Estimating failure time distribution and its parameters based on intermediate data from a Wiener degradation model
✍ Jen Tang; Tsui-Shu Su πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 258 KB

## Abstract Instead of measuring a Wiener degradation or performance process at predetermined time points to track degradation or performance of a product for estimating its lifetime, we propose to obtain the first‐passage times of the process over certain nonfailure thresholds. Based on only these