English (en-US)Lista degli oggetti del gruppo: General management
-
Interval Temporal Logic for real-Time Systems: Specification, Execution and Verification ProcessesFormal techniques for the specification of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...331 Accessi Voto
-
slides in Italian regarding the general aspects of TILCOXFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...626 Accessi Voto
-
Slide-show about Dev-TILCO and an application example (italian language)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 ...1176 Accessi Voto
-
Technical report about Dev-TILCOFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...405 Accessi Voto
-
Technical report about an example of development: Crossroad Control SimulatorFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...513 Accessi Voto
-
C-TILCO theoryFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...335 Accessi Voto
-
Communicating TILCO for RealTime System SpecificationFormal techniques for the specification of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...454 Accessi Voto
-
Visual C++ project for Crossroad Control Simulator (with built-in Dev-TILCO development process)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 ...367 Accessi Voto
-
Crossroad Control Simulator: an application developed with Dev-TILCOFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...388 Accessi Voto
-
ANALISI DI IMMAGINI DI SPARTITI MUSICALI: METODI E STRUMENTI PER IL RICONOSCIMENTO E LINDICIZZAZIONE AUTOMATICACorso di Dottorato di Ricerca: Ingegneria Informatica e delle Telecomunicazioni Curriculum: Architetture dei Sistemi di Elaborazione dellInformazione. UNIVERSITA' DEGLI STUDI DI FIRENZE Facoltà ...542 Accessi Voto