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