Journal cover image

Browse issues


Vol. 8
Vol. 7
Vol. 6
Vol. 5
Vol. 4
Vol. 3
Vol. 2
Vol. 1

International Journal of Critical Computer-Based Systems

2011 Vol. 2 No. 2

 

PagesTitle and authors
111-124Assurance technology for the mode change of autonomous decentralised train control system
Tsuyoshi Suzuki, Takashi Kawano, Yutaka Umehara, Yoshihide Nagatsugu, Masayuki Matsumoto
DOI: 10.1504/IJCCBS.2011.041255

125-140A proposal of safety-related autonomous decentralised technology and its practical application
Takashi Kunifuji, Tadao Miura, Jun Nishiyama, Kinji Mori
DOI: 10.1504/IJCCBS.2011.041256

141-161Byzantine consensus in asynchronous message-passing systems: a survey
Miguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Verissimo
DOI: 10.1504/IJCCBS.2011.041257

162-180A Bayesian theory of confirmation for intrusion report fusion in process control networks
Julian L. Rrushi
DOI: 10.1504/IJCCBS.2011.041258

181-216High-integrity agile processes for the development of safety critical software
Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke
DOI: 10.1504/IJCCBS.2011.041259