International Journal of Critical Computer-Based Systems
2011 Vol.2 No.2
Pages | Title and author(s) |
111-124 | Assurance technology for the mode change of autonomous decentralised train control systemTsuyoshi Suzuki, Takashi Kawano, Yutaka Umehara, Yoshihide Nagatsugu, Masayuki Matsumoto DOI: 10.1504/IJCCBS.2011.041255 |
125-140 | A proposal of safety-related autonomous decentralised technology and its practical applicationTakashi Kunifuji, Tadao Miura, Jun Nishiyama, Kinji Mori DOI: 10.1504/IJCCBS.2011.041256 |
141-161 | Byzantine consensus in asynchronous message-passing systems: a surveyMiguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Verissimo DOI: 10.1504/IJCCBS.2011.041257 |
162-180 | A Bayesian theory of confirmation for intrusion report fusion in process control networksJulian L. Rrushi DOI: 10.1504/IJCCBS.2011.041258 |
181-216 | High-integrity agile processes for the development of safety critical softwareRichard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke DOI: 10.1504/IJCCBS.2011.041259 |