Libri UniversitariApri il catalogo

Flemming Nielson, Hanne Riis Nielson, Formal Methods, Springer,

Libro adottato a Pisa, a.a. 2026/2027 · 2 canali

«Flemming Nielson, Hanne Riis Nielson, Formal Methods, Springer,» è adottato per Dependable And Secure Systems dal prof. Cinzia Bernardeschi (Computer Engineering – sede di Pisa, Cybersecurity – sede di Pisa – Pisa).

Flemming Nielson, Hanne Riis Nielson, Formal Methods, Springer,Cerca su Amazon ›

Come lo indica il docente: Flemming Nielson, Hanne Riis Nielson, Formal Methods, Springer, 2019

Chi lo adotta

Programma e testi di ogni canale

Dependable And Secure Systems – Prof. Cinzia Bernardeschi Canale unico

Corso di laurea: Computer Engineering – sede di Pisa · Laurea magistrale (LM-32) · 1º anno · 2º semestre · Cybersecurity · 9 CFU

Pisa · Dipartimento di Ingegneria dell'Informazione · 9 CFU · apri nel catalogo · Computer Engineering – sede di Pisa · 1º anno · 2º semestre ›

Avizienis – Basic Concepts and Taxonomy of Dependable and…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Nicol – Model-Based EvaluationCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
John Knight. Fundamentals of Dependable Computing for SoftwareCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Flemming Nielson, Hanne Riis Nielson, Formal Methods, Springer,questo libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Tomas Kulik – A Survey of Practical Formal Methods for…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
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.

Dependable And Secure Systems – Prof. Cinzia Bernardeschi Canale unico

Corso di laurea: Cybersecurity – sede di Pisa · Laurea magistrale (LM-66) · 2º anno · 2º semestre · 9 CFU / 1º anno · 2º semestre · 9 CFU

Pisa · Dipartimento di Ingegneria dell'Informazione · 9 CFU · apri nel catalogo · Cybersecurity – sede di Pisa · 2º anno · 2º semestre ›

Avizienis – Basic Concepts and Taxonomy of Dependable and…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Nicol – Model-Based EvaluationCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
John Knight. Fundamentals of Dependable Computing for SoftwareCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Flemming Nielson, Hanne Riis Nielson, Formal Methods, Springer,questo libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Tomas Kulik – A Survey of Practical Formal Methods for…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
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.

Si studia insieme a