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