|
Search the dblp DataBase
Jean-René Beauvais:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier
A Translation of Statecharts into Signal Approach of Time, Interoperability. [Citation Graph (0, 0)][DBLP] ACSD, 1998, pp:52-0 [Conf]
- David Nowak, Jean-René Beauvais, Jean-Pierre Talpin
Co-inductive Axiomatization of a Synchronous Language. [Citation Graph (0, 0)][DBLP] TPHOLs, 1998, pp:387-399 [Conf]
- Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang
Modeling statecharts and activitycharts as signal equations. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2001, v:10, n:4, pp:397-451 [Journal]
Search in 0.001secs, Finished in 0.001secs
|