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