I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher di informazioni apprese con la frequenza delle lezioni e lo studio autonomo di eventuali testi di riferimento in preparazioneall’esame finale o della tesi. Non devono intendersi come materiale ufficiale dell’università attribuibile al docente del corso o al relatore
…continua
Ultimi appunti inseriti
Appunti più scaricati
Appunti per nome

Filtra per

Tutte le tipologie

Ordina

Filtra

Appunti di Elementi di software dependability

icona-appunti
icona-appunti

Elementi di Software Dependability - Software Safety Premium

Esame Elementi di Software Dependability

Facoltà Ingegneria

Dal corso del Prof. U. Monile

Università Università degli Studi di Firenze

Appunto
Scarica
Appunti di Elementi di Software Dependability - Software Safety. Nello specifico gli argomenti trattati sono i seguenti: Ultimate problems addressable by model checking, Checking correctness of the code running on the application, Checking safety of the system, ecc.
...continua
icona-appunti
icona-appunti

Elementi di Software Dependability -Interpretazione Astratta Premium

Esame Elementi di Software Dependability

Facoltà Ingegneria

Dal corso del Prof. U. Monile

Università Università degli Studi di Firenze

Appunto
Scarica
Appunti di Elementi di Software Dependability -Interpretazione Astratta. Nello specifico gli argomenti trattati sono i seguenti: Il punto di partenza è la semantica concreta, Un dominio astratto, Derivare una semantica astratta, Semantica concreta, ecc.
...continua
icona-appunti
icona-appunti

Elementi di Software Dependability Premium

Esame Elementi di Software Dependability

Facoltà Ingegneria

Dal corso del Prof. U. Monile

Università Università degli Studi di Firenze

Appunto
Scarica
Appunti di Elementi di Software Dependability. Nello specifico gli argomenti trattati sono i seguenti: Modellazione Markoviana degli Attributi di Dependability, Valutazione degli attributi RAMS con il Metodo Markoviano, Ridondanza, Rilevazione & Correzione d'Errore, ecc.
...continua

Esami più cercati

Elementi di marketing | Metalli e leghe per applicazioni avanzate | Organizzazione e gestione del personale nelle pubbliche amministrazioni | Mediazione italiano-spagnolo | Banche dati | Geologia stratigrafica | Organizzazione e gestione degli eventi e dello spettacolo | Psicopatologia e psicodiagnostica | Semiotica e storytelling | Museologia e storia della musica | Algoritmi e strutture dati | Gestione del personale e sicurezza sul lavoro | Storia ed istituzioni dell'africa sub-sahariana | Laboratorio di sintesi | Economia e finanza d'impresa | Strategie e politiche aziendali | Psicologia dell'arco della vita | Storia dell'architettura del paesaggio | Applicazioni avanzate gis per l'analisi e la pianificazione del territorio | Fenomeni di trasporto | Viticoltura | Tecnologia, socioeconomia e legislazione farmaceutiche | Nutrizione ed alimentazione animale | Psiconeurofisiologia | Sistemi di controllo avanzati | Diritto degli enti locali | Dialettologia | Comunicazione e persuasione | Programmazione, controllo e analisi di bilancio | Progettazione e logistica dei sistemi di ristorazione