| 2001 |
|---|
| 3 | EE | Jean-René Beauvais,
Éric Rutten,
Thierry Gautier,
Roland Houdebine,
Paul Le Guernic,
Y.-M. Tang:
Modeling statecharts and activitycharts as signal equations.
ACM Trans. Softw. Eng. Methodol. 10(4): 397-451 (2001) |
| 1998 |
|---|
| 2 | EE | Jean-René Beauvais,
Roland Houdebine,
Paul Le Guernic,
Éric Rutten,
Thierry Gautier:
A Translation of Statecharts into Signal Approach of Time, Interoperability.
ACSD 1998: 52- |
| 1 | | David Nowak,
Jean-René Beauvais,
Jean-Pierre Talpin:
Co-inductive Axiomatization of a Synchronous Language.
TPHOLs 1998: 387-399 |
