-
TILCO-X 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 ...388 Hits Rating
-
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 ...426 Hits Rating
-
Execution of TILCO Specifications Technical ReportFormal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...1148 Hits Rating
-
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 ...821 Hits Rating
-
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 ...1372 Hits Rating
-
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 ...615 Hits Rating
-
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 ...532 Hits Rating
-
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 ...639 Hits Rating
-
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 ...625 Hits Rating
-
ISO MPEG SMR, Symbolic Music Representation: Test CasesINTERNATIONAL ORGANISATION FOR STANDARDISATION ORGANISATION INTERNATIONALE DE NORMALISATION ISO/IEC JTC1/SC29/WG11 CODING OF MOVING PICTURES AND AUDIO ISO/IEC JTC1/SC29/WG11 N6812 October 2004, Palma de Mallorca, Spain133 Hits Rating