UNITesi

A Methodology and Framework for Model-Driven Dependability Analysis of Critical Embedded Systems and Directions Towards Systems of Systems

MONTECCHI, LEONARDO
2013
2013
Inglese
Model-Driven Engineering; Component-Based Development; dependability analysis; model-transformations; Stochastic Petri nets; embedded systems; large-scale complex systems; Critical Infrastructures; Safety-critical systems
219
Università degli Studi di Firenze
File in questo prodotto:
File Dimensione Formato  
phd-montecchi-final.pdf

accesso aperto

Dimensione 7.51 MB
Formato Adobe PDF
Visualizza/Apri
7.51 MB Adobe PDF Visualizza/Apri
phdleoabstract.txt

accesso aperto

Dimensione 7.62 kB
Formato Text
Visualizza/Apri
7.62 kB Text Visualizza/Apri

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14242/185695
Il codice NBN di questa tesi è URN:NBN:IT:UNIFI-185695