The "International Journal of Critical Computer-Based Systems" (IJCCBS) is a quarterly research journal by Inderscience Publishers. It focuses on engineeri...The "International Journal of Critical Computer-Based Systems" (IJCCBS) is a quarterly research journal by Inderscience Publishers. It focuses on engineering and verification of complex computer-based systems (where complex means large, distributed and heterogeneous) in critical applications, with special emphasis on model-based approaches and industrial case-studies. Critical computer-based systems include real-time control, fly/brake-by-wire, on-line transactional and web servers, biomedical apparels, networked devices for telecommunications, environmental monitoring, infrastructure protection, etc.
to server complexity transactional networks infrastructures verification testing watchdog telecommunication model-checking repairable distributed prognostic satellite bayesian reliability block high-availability electrical multi-paradigm automotive life-critical mission-critical plants chemical n-modular-redundancy prevention voters safety diagnostic fault-injection military planes large space installations nuclear evaluation theorem-proving engineering and high-integrity missile heterogeneous biomedical nets fault majority rejuvination development RAMS multi-formalism diagrams modeling trees design fly-by-wire safety-critical uml deadlock computer security maintainability tran systems money-critical brake-by-wire fault-tolerance chains software high-assurance protection formal shuttle markov methods petri railway devices validation diversity automatic control apparels real-time monitoring dependability by flamminifra on Jul 9, 2008, 1:51 PM
