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