Tutorial Lustre

SyncCharts have been introduced in an invited paper presented at CESA'96, IEEE-SMC, Lille(F), july 9-12, 1996, entitled:“Representation and Analysis of Reactive Behaviors: A Synchronous Approach ”, Charles André. (you can get the postscript file of the associated research report: tr96-28, 11 pages).

composition d'automates