Abstract is missing.
- Dynamic dependability models: an overviewSuprasad V. Amari. 3 [doi]
- A hierarchical method for the reduction of temporal expressions in PandoraMartin Walker, Yiannis Papadopoulos. 7-12 [doi]
- Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPAMichael Günther 0008, Johann Schuster, Markus Siegle. 13-18 [doi]
- Characterization and evaluation of standby in reliabilitySalvatore Distefano. 19-24 [doi]
- Dependability analysis of wireless sensor networks with active-sleep cycles and redundant nodesDario Bruneo, Antonio Puliafito, Marco Scarpa. 25-30 [doi]
- Dependability evaluation of complex systems with TimeNETArmin Zimmermann. 33-34 [doi]
- Dependability modelling with the stochastic process algebra tool CASPAJohann Schuster, Markus Siegle. 35-36 [doi]
- RobuCheck: a robustness checker for digital circuitsStefan Frehse, Görschwin Fey, André Sülflow, Rolf Drechsler. 37-38 [doi]
- DyRelA (dynamic reliability and assessment)Gabriel A. Pérez Castañeda, Jean-François Aubry, Nicolae Brinzei. 39-40 [doi]