Caroprese, LucianoZumpano, EsterTalia, Domenico2015-04-142015-04-142006http://hdl.handle.net/10955/684Dipartimento di Elettronica, Informatica e Sistemistica, Dottorato di Ricerca in Ingegneria dei Sistemi e Informatica, Ciclo XX, a.a. 2007enIngegneria dei sistemiSemanticaVincoliStrumentiProgrammi di previsioneThesis