International Journal of Critical Computer-Based Systems (IJCCBS)

International Journal of Critical Computer-Based Systems

2011 Vol.2 No.2


Pages Title and author(s)
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

 

Return to top