UNITesi

IMPLEMENTAZIONE IN UPPAAL DI FORMULE LTL PAST DI REQUISITI OPERAZIONALI DI SISTEMI SELF-ADAPTIVE.

MATTIA, DANIELE
2014/2015
2014
IMPLEMENTATION IN UPPAAL OF LTL PAST FORMULAE FOR CHECKING OPERATIONAL REQUIREMENTS IN SELF-ADAPTIVE SYSTEMS.
Lauree triennali
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/101613