Amr Helmy

	2008
2		Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz: Executable formal specification and validation of NoC communication infrastructures. SBCCI 2008: 176-181
	2007
1		Dominique Borrione, Amr Helmy, Laurence V. Pierre, Julien Schmaltz: A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study. NOCS 2007: 127-136

Coauthor Index

1	Dominique Borrione	[1] [2]
2	Laurence Pierre (Laurence V. Pierre)	[1] [2]
3	Julien Schmaltz	[1] [2]