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