Parametric Real-Time System Feasibility Analysis Using Parametric Timed Automata
Ramadian, Yusi
2012
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Parametric_RTS_Feasibility_Analysis_Using_PTA.pdf
accesso aperto
Dimensione
4.31 MB
Formato
Adobe PDF
|
4.31 MB | Adobe PDF | Visualizza/Apri |
|
Dissertation.pdf
accesso aperto
Dimensione
2.12 MB
Formato
Adobe PDF
|
2.12 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/176536
Il codice NBN di questa tesi è
URN:NBN:IT:UNITN-176536