Che materia stai cercando?

Elementi di Software Dependability - Software Safety Appunti scolastici Premium

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.

Esame di Elementi di Software Dependability docente Prof. U. Monile

Ulteriori informazioni

PAGINE

20

PESO

421.57 KB

AUTORE

Sara F

PUBBLICATO

+1 anno fa


DETTAGLI
Corso di laurea: Corso di laurea in ingegneria informatica
SSD:
Università: Firenze - Unifi
A.A.: 2013-2014

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher Sara F di informazioni apprese con la frequenza delle lezioni di Elementi di Software Dependability e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Firenze - Unifi o del prof Monile Umberto.

Acquista con carta o conto PayPal

Scarica il file tutte le volte che vuoi

Paga con un conto PayPal per usufruire della garanzia Soddisfatto o rimborsato

Recensioni
Ti è piaciuto questo appunto? Valutalo!

Altri appunti di Elementi di software dependability

Elementi di Software Dependability
Appunto
Elementi di Software Dependability -Interpretazione Astratta
Appunto
Elementi di Software Dependability -Interpretazione Astratta – Verifica codice
Dispensa
Elementi di Software Dependability - Formal Methods in Practice
Dispensa