S. Emeriau

According to our database, S. Emeriau authored at least 2 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

New safety critical radio altimeter for airbus and related design flow.

David Hairion, S. Emeriau, E. Combot, Michel Sarlotte

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2002

Verification of a DSP IP cores by model checking.

H. N. Nguyen, P. Koumou, Bernard Candaele, Michel Sarlotte, Christian Antoine, S. Emeriau

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002