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