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