S. Emeriau

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
New safety critical radio altimeter for airbus and related design flow.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2002
Verification of a DSP IP cores by model checking.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002


  Loading...