International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2013 Vol.4 No.2


Pages Title and author(s)
93-118A survey of safety-oriented model-driven and formal development approaches
Yuliya Prokhorova; Elena Troubitsyna
DOI: 10.1504/IJCCBS.2013.056485
119-143Probabilistic fault tree synthesis using causality computation
Florian Leitner-Fischer; Stefan Leue
DOI: 10.1504/IJCCBS.2013.056492
144-172Optimal configuration of fault-tolerance parameters for distributed replicated server access
Alessandro Daidone; Thibault Renier; Andrea Bondavalli; Hans Peter Schwefel
DOI: 10.1504/IJCCBS.2013.056493
173-197Hazard analysis of Unified Modelling Language sequence and state charts using software fault tree analysis
Pankaj Vyas; R.K. Mittal
DOI: 10.1504/IJCCBS.2013.056512

 

Return to top