VERIFICA A RUNTIME DI SISTEMI SELF-ADAPTIVE BASATO SU MODEL CHECKING

AGIATO, COSIMO
2015/2016

2015
RUNTIME VERIFICATION OF SELF-ADAPTIVE SYSTEMS BY MODEL CHECKING
File in questo prodotto:
Fulltext non presente su UNITESI – Verifica la disponibilità della tesi in formato cartaceo interrogando il Catalogo di Ateneo

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.14253/98319