Autore:
Titolo:
Explicit algorithms for probabilistic model checking / advisor: B. Intriglia ; ph. d. student: Igor Melatti ; ph. d. program supervisor: M. Flammini
Pubblicazione:
2005.
Descrizione fisica:
1 v.
Note:
In testa al front.: Università degli studi dell'Aquila, dottorato di ricerca in informatica ed applicazioni, 17. ciclo
Numero BNI:
BN 2006-42T
Classe Dewey:
Classe MIUR:
INF/01 - Informatica
Tesi di dottorato. | Lingua: Inglese. | Paese: IT. | BID: BNI0014913
| Biblioteca | Inventario | Collocazione | Fruizione | status | |
|---|---|---|---|---|---|
| Biblioteca Nazionale Centrale - Firenze | TVD020052790 | TDR.2005.2790 | Lettura tesi in sede |
Documenti simili
- Dynamic reconfiguration of component based applications / Marco Castaldi ; advisor: Paola Inverardi ; co-advisor: Alexander L. Wolf ; supervisor of the ph. d. program: Benedetto Intriglia Castaldi, Marco
- An XML based methodology to model and use scenarios in the software development process / Anna Rita Laurenzi ; tutore della tesi: Benedetto Intriglia ; coordinatore del dottorato: Benedetto Intriglia Laurenzi, Anna Rita
- A framework for resource aware adaptable software application : dottorato di ricerca in informatica / candidato: Fabio Mancinelli ; relatore: Paola Inverardi ; coordinatore del corso di dottorato: Michele Flammini Mancinelli, Fabio
- Charmy : a framework for software architecture specification and analysis / advisor: Paola Inverardi ; ph. d. student: Patrizio Pelliccione ; ph. d. program supervisor: Michele Flammini Pelliccione, Patrizio
- Model-based performance analysis of software architectures / Antinisca Di Marco ; advisor: P. Inverardi ; ph. d. student: Antinisca Di Marco ; ph. d. program supervisor: M. Flammini Di_Marco, Antinisca
