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 networks money-critical watchdog diagnostic deadlock space diagrams diversity tran mission-critical railway nuclear prognostic validation life-critical uml majority petri large heterogeneous apparels chains software fly-by-wire prevention markov server satellite installations shuttle plants monitoring planes automotive biomedical verification high-availability n-modular-redundancy fault-injection high-integrity testing and development modeling theorem-proving chemical devices distributed engineering voters security real-time reliability military model-checking telecommunication methods brake-by-wire fault-tolerance infrastructures safety formal fault control bayesian high-assurance transactional automatic missile RAMS multi-paradigm safety-critical trees protection block dependability rejuvination evaluation design complexity nets electrical systems repairable computer multi-formalism maintainability by flamminifra on Jul 9, 2008, 1:51 PM
