Libri UniversitariApri il catalogo

Dependable And Secure Systems – prof. Cinzia Bernardeschi

Computer Engineering – sede di Pisa · Università di Pisa · 1º anno · 2º semestre · Cybersecurity · 9 CFU · canale unico

Libri del canale

Dependable And Secure Systems 9 CFU

CBProf. Cinzia Bernardeschi Canale unico
Avizienis – Basic Concepts and Taxonomy of Dependable and…Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
Nicol – Model-Based EvaluationIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
John Knight. Fundamentals of Dependable Computing for SoftwareIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
Flemming Nielson, Hanne Riis Nielson, Formal Methods, Springer,Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
Tomas Kulik – A Survey of Practical Formal Methods for…Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
Bacheca del docente: cosa indica di studiare
  • Slides e materiale aggiuntivo fornito dal docente.

Argomenti del programma: Dependability and security. Non-malicious/malicious faults, errors and failures. Availability, Reliability, Safety, Confidentiality, Integrity, Maintainability. Hazard Analysis and risk assessment. Dependability design principles . Error detection and recovery. Fault masking. Redundant architectures. Hardware redundancy: Passive, Active and Hybrid techniques. Information redundancy: Coding.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Computer Engineering – sede di Pisa, 1º anno, tutte le materie e i canali ›

Testi d'esame di Dependable And Secure Systems del prof. Cinzia Bernardeschi, canale unico, corso di laurea in Computer Engineering – sede di Pisa (Laurea magistrale (LM-32)), Università di Pisa, 1º anno · 2º semestre · Cybersecurity · 9 CFU, a.a. 2026/2027. Libri adottati: Avizienis – Basic Concepts and Taxonomy of Dependable and…; Nicol – Model-Based Evaluation; John Knight. Fundamentals of Dependable Computing for Software; Flemming Nielson, Hanne Riis Nielson, Formal Methods, Springer,; Tomas Kulik – A Survey of Practical Formal Methods for….

Altre materie del prof. Bernardeschi

Vedi anche: Prof. Cinzia Bernardeschi · Dependable And Secure Systems a Pisa (tutti i canali)