UNITesi

Compositional verification for Hierarchical Scheduling of Real-Time systems

PINZUTI, ALESSANDRO
2013
2013
Italiano
formal verification; real-time; HARD REAL TIME SYSTEMS; PROCESS SCHEDULING; FLEXIBLE COMPUTATION; PETRI NETS; TIMED BEHAVIOR; ENUMERATIVE ANALYSIS; VALIDATION
112
Università degli Studi di Firenze
File in questo prodotto:
File Dimensione Formato  
PhDthesisAlessandroPinzuti.pdf

accesso aperto

Licenza: Tutti i diritti riservati
Dimensione 9.15 MB
Formato Adobe PDF
Visualizza/Apri
9.15 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/185222
Il codice NBN di questa tesi è URN:NBN:IT:UNIFI-185222