International Journal of Critical Computer-Based Systems
2013 Vol.4 No.2
Pages | Title and author(s) |
93-118 | A survey of safety-oriented model-driven and formal development approachesYuliya Prokhorova; Elena Troubitsyna DOI: 10.1504/IJCCBS.2013.056485 |
119-143 | Probabilistic fault tree synthesis using causality computationFlorian Leitner-Fischer; Stefan Leue DOI: 10.1504/IJCCBS.2013.056492 |
144-172 | Optimal configuration of fault-tolerance parameters for distributed replicated server accessAlessandro Daidone; Thibault Renier; Andrea Bondavalli; Hans Peter Schwefel DOI: 10.1504/IJCCBS.2013.056493 |
173-197 | Hazard analysis of Unified Modelling Language sequence and state charts using software fault tree analysisPankaj Vyas; R.K. Mittal DOI: 10.1504/IJCCBS.2013.056512 |