UNITesi

Formal methods in the development life cycle of real-time software

CARNEVALI, LAURA
2010
2010
Inglese
Real-time systems, safety-critical SW components, SW life cycle, V-Model, preemptive Time Petri Nets, symbolic state space analysis, model driven development, automated model transformation, automated code generation, Execution Time estimation, real-time testing, test case selection and execution, coverage analysis.
149
Università degli Studi di Firenze
File in questo prodotto:
File Dimensione Formato  
PhD thesis Carnevali Laura.pdf

accesso aperto

Dimensione 2.17 MB
Formato Adobe PDF
Visualizza/Apri
2.17 MB Adobe PDF 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/191962
Il codice NBN di questa tesi è URN:NBN:IT:UNIFI-191962