International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2012 Vol.3 No.3


Pages Title and author(s)
151-167Argument-based approach to computer system safety engineering
Tangming Yuan; Tim Kelly
DOI: 10.1504/IJCCBS.2012.050295
168-186Exploiting partitioned synchrony to implement accurate failure detectors
Raimundo José de Araújo Macêdo; Sérgio Gorender
DOI: 10.1504/IJCCBS.2012.050303
187-209Efficient computation of quantitative properties of real-time preemptive systems
Abdelli Abdelkrim
DOI: 10.1504/IJCCBS.2012.050300
210-228A hidden Markov model based intrusion detection system for wireless sensor networks
L. Coppolino; L. Romano; A. Bondavalli; A. Daidone
DOI: 10.1504/IJCCBS.2012.050305
229-244On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report
Francesco Flammini
DOI: 10.1504/IJCCBS.2012.050311

 

Return to top