Maissa Elleuch

	2011
3		Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid: Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. ICFEM 2011: 388-403
	2009
2		Yassine Aydi, Ramzi Tligue, Maissa Elleuch, Mohamed Abid, Jean-Luc Dekeyser: A multi level functional verification of multistage interconnection network for MPSOC. ICECS 2009: 439-442
	2008
1		Maissa Elleuch, Yassine Aydi, Mohamed Abid: Formal Specification of Delta MINs for MPSOC in the ACL2 Logic. FDL 2008: 253-254

Coauthor Index

1	Mohamed Abid	[1] [2] [3]
2	Yassine Aydi	[1] [2]
3	Jean-Luc Dekeyser	[2]
4	Osman Hasan	[3]
5	Sofiène Tahar	[3]
6	Ramzi Tligue	[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