Timed Mirroring Typed Decision Graphs: A Model Structure For Real-Time Systems

Syrine Ayadi. Timed Mirroring Typed Decision Graphs: A Model Structure For Real-Time Systems. In Mohamed Kaâniche, editor, Student Forum, IFIP 18th World Computer Congress - Student Forum, 22-27 August 2004, Toulouse, France. pages 133-142, Kluwer, 2004.