2003
Towards a "Synchronous Reactive" UML subprofile ?,
R. De Simone, C. André
I3S Research Report N° RR200326 presented at SVERTS'03 Specification and Validation of UML models for Real Time and Embedded Systems, Octobre, 2003, San Francisco (US).
Get PDF
Modélisation et vérification d'un système mécatronique par SyncCharts,
D. Gaffé
MSR'03 Modélisation des sstèmes réactifs, Hermès sciences Publications, pp 95--107 Octobre, 2003, Metz(F).
Get PDF
Modélisation des systèmes réactifs par une approche graphique synchrone : SyncCharts,
C. André
I3S Research Report N° RR200325 presenté à l'Ecole d'été temps réel, 9-12 Septembre 2003, Toulouse (F).
Get PDF
Computing SyncCharts Reactions,
C André
SLAP'03 (Synchronous Languages, Applications and Programming), July 1st, 2003, Porto (P).
Get PDF
Semantics of SyncCharts,
C André
Report written for Esterel Technologies.
Get PDF