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