Computer Safety, Reliability, and Security
portes grátis
Computer Safety, Reliability, and Security
43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
Ceccarelli, Andrea; Bondavalli, Andrea; Trapp, Mario; Bitsch, Friedemann
Springer International Publishing AG
09/2024
316
Mole
9783031686054
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Índice não disponível.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
distributed and real-time monitoring and control;Fault-tolerant and resilient hardware and software architectures;fault detection and recovery mechanisms;security & privacy protection mechanisms for safety applications;Safety guidelines and standards;Safety/security co-engineering and tradeoffs;Safety and security qualification, quantification;Safety and security assurance and certification;Threats and vulnerability analysis;Risk assessment in safe and secure systems;Dependability analysis using simulation & experimental measures;Model-based analysis, design, and assessment;Formal methods for verification, validation, and fault tolerance;Testing, verification, and validation methodologies and tools;Multi-concern dependability assurance and standardization;Safety-related applications
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
distributed and real-time monitoring and control;Fault-tolerant and resilient hardware and software architectures;fault detection and recovery mechanisms;security & privacy protection mechanisms for safety applications;Safety guidelines and standards;Safety/security co-engineering and tradeoffs;Safety and security qualification, quantification;Safety and security assurance and certification;Threats and vulnerability analysis;Risk assessment in safe and secure systems;Dependability analysis using simulation & experimental measures;Model-based analysis, design, and assessment;Formal methods for verification, validation, and fault tolerance;Testing, verification, and validation methodologies and tools;Multi-concern dependability assurance and standardization;Safety-related applications
