Ammar Aljer

	2004
2		Ammar Aljer, Philippe Devienne: Co-Design and Refinement for Safety Critical Systems. DFT 2004: 78-86
	2003
1		Ammar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano: BHDL: Circuit Design in B. ACSD 2003: 241-242

Coauthor Index

1	Jean-Louis Boulanger	[1]
2	Philippe Devienne	[1] [2]
3	Georges Mariano	[1]
4	Sophie Tison	[1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page