Formal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...
Agenda
Prof. Alberto Tesi, Magnifico Rettore
Prof. Umberto Gori, Professore Emerito, presidente CSSII
Centro Interdipartimentale di Studi Strategici Internazionali e Imprenditoriali ...
In this poster we describe the system adopted in the European Collected Li-brary of Artistic Performance, ECLAP, to manage, publish and distribute digital content taking into account the problems ...
In this poster we describe the system adopted in the European Collected Li-brary of Artistic Performance, ECLAP, to manage, publish and distribute digital content taking into account the problems ...