International Journal of Critical Computer-Based Systems

  in Journal   Posted on September 23, 2020

Topics covered includeComputer dependabilityHigh-assurance systems engineeringVerification and validationModel-based software testingFormal methodsSoftware fault-tolerance/rejuvenationMulti-paradigm modellingFault injection, measurement based analysisFMECA, risk assessment and hazard analysisControl network and SCADA securityOperating systems/protocols for real-time distributed systemsDependable computer architectures/middlewareSelf-checking and reconfigurable hardwareBusiness continuity managementHuman-machine interaction and human factors

Leave a Reply

Your email address will not be published. Required fields are marked *