Libri UniversitariApri il catalogo

Bondavalli – L'Analisi Quantitativa dei Sistemi Critici

Libro adottato a Firenze, a.a. 2025/2026 · 1 canale

«Bondavalli – L'Analisi Quantitativa dei Sistemi Critici» è adottato per Architecture, Model And Analysis Of Cyber Physical Systems dal prof. Paolo Lollini (Software: Science and Technology – Firenze).

Bondavalli – L'Analisi Quantitativa dei Sistemi CriticiCerca su Amazon ›

Come lo indica il docente: "L'Analisi Quantitativa dei Sistemi Critici" (testo in Italiano), a cura di Andrea Bondavalli, Società Editrice Esculapio, ISBN 978-88-7488-431-5, Prima edizione, 286 pagine, Marzo, 2011

Titolo
Analisi quantitativa dei sistemi critici
Autori
Andrea Bondavalli
Editore
Progetto Leonardo, 2011
ISBN
9788874884315

Chi lo adotta

Programma e testi di ogni canale

Architecture, Model And Analysis Of Cyber Physical Systems – Prof. Paolo Lollini Canale unico

Corso di laurea: Software: Science and Technology · Laurea magistrale (LM-18) · 1º anno · annuale · 12 CFU

Firenze · Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA) · 12 CFU · apri nel catalogo · Software: Science and Technology · 1º anno ›

Avizienis – Basic concepts and taxonomy of dependable and…Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Siewiorek – Reliable Computer SystemsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hermann Kopetz – Design Principles for Distributed Embedded Applications, second…Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Libri consigliati nell'a.a. 2025/2026
van Steen – Distributed SystemsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bondavalli – L'Analisi Quantitativa dei Sistemi Criticiquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Per la parte "Architetturale" del corso, i riferimenti principali sono:
  • Libri che riguardano argomenti specifici trattati durante il corso
  • Dispense integrative su argomenti specifici del corso.

Argomenti del programma: Il corso si divide in due parti (parte "Architetturale" e parte "Modellizzazione e Analisi") che trattano rispettivamente: Parte "Architetturale": problematiche architetturali relative alla dependability di sistemi di sistemi cyber-fisici, e metodologie per la progettazione e costruzione di tali sistemi; Parte "Modellizzazione e Analisi": metodologie e formalismi di modellizzazione per la valutazione quantitativa…

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

Si studia insieme a