Etienne Closse

	2002
3		Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil: SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure. Electr. Notes Theor. Comput. Sci. 65(5): 80-94 (2002)
	2001
2		Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter, Daniel Weil, Sergio Yovine: TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV 2001: 391-395
	2000
1		Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou: Efficient compilation of ESTEREL for real-time embedded systems. CASES 2000: 2-8

Coauthor Index

1	Valérie Bertin	[1]
2	Michel Poize	[1] [2] [3]
3	Jacques Pulou	[1] [2] [3]
4	Joseph Sifakis	[2]
5	Patrick Venier	[1] [3]
6	Patrick Venter	[2]
7	Daniel Weil	[1] [2] [3]
8	Sergio Yovine	[2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page