2026 Vol.12 No.12024 Vol.11 No.42024 Vol.11 No.32024 Vol.11 No.1/22023 Vol.10 No.4 Free Access2022 Vol.10 No.32021 Vol.10 No.22020 Vol.10 No.12019 Vol.9 No.42019 Vol.9 No.32019 Vol.9 No.1/22018 Vol.8 No.3/42018 Vol.8 No.22018 Vol.8 No.12017 Vol.7 No.42017 Vol.7 No.32017 Vol.7 No.22017 Vol.7 No.12016 Vol.6 No.42016 Vol.6 No.32015 Vol.6 No.22015 Vol.6 No.12014 Vol.5 No.3/42014 Vol.5 No.1/22013 Vol.4 No.42013 Vol.4 No.32013 Vol.4 No.22013 Vol.4 No.12012 Vol.3 No.42012 Vol.3 No.32012 Vol.3 No.1/22011 Vol.2 No.3/42011 Vol.2 No.22011 Vol.2 No.12010 Vol.1 No.42010 Vol.1 No.1/2/3

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