227 | -- | 228 | Karama Kanoun, Alberto Pasquini. Safety, reliability and security of industrial computer systems |
229 | -- | 247 | Yiannis Papadopoulos, John A. McDermid, Ralph Sasse, Gunter Heiner. Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure |
249 | -- | 260 | Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla. Improving the analysis of dependable systems by mapping fault trees into Bayesian networks |
261 | -- | 270 | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi. Formal validation of fault-tolerance mechanisms inside GUARDS |
271 | -- | 284 | Tim P. Kelly, John A. McDermid. A systematic approach to safety case maintenance |
285 | -- | 297 | P. G. Beerthuizen, W. Kruidhof. System and software safety analysis for the ERA control computer |
299 | -- | 310 | A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar. PERTS: an environment for specification and verification of reactive systems |
311 | -- | 326 | Chris W. Johnson. A case study in the integration of accident reports and constructivedesign documents |
327 | -- | 336 | Laurence Rognin, Jean-Paul Blanquart. Human communication, mutual awareness and system dependability. Lessons learnt from air-traffic control field studies |