https://www.bibsonomy.org/user/flamminifra/RAMSBibSonomy RSS Feed for /user/flamminifra/RAMSThe "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.http://www.inderscience.com/ijccbsflamminifra2008-07-09T13:51:25+02:00RAMS and apparels automatic automotive bayesian biomedical block brake-by-wire chains chemical complexity computer control deadlock dependability design development devices diagnostic diagrams distributed diversity electrical engineering evaluation fault fault-injection fault-tolerance fly-by-wire formal heterogeneous high-assurance high-availability high-integrity infrastructures installations large life-critical maintainability majority markov methods military missile mission-critical model-checking modeling money-critical monitoring multi-formalism multi-paradigm n-modular-redundancy nets networks nuclear petri planes plants prevention prognostic protection railway real-time rejuvination reliability repairable safety safety-critical satellite security server shuttle software space systems telecommunication testing theorem-proving tran transactional trees uml validation verification voters watchdog <span itemprop="description">The &#034;International Journal of Critical Computer-Based Systems&#034; (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.</span>