Anne Robert

According to our database, Anne Robert authored at least 3 papers between 1992 and 2008.

Collaborative distances:

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

2008

Translating AADL into BIP - Application to the Verification of Real-Time Systems.

Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

1996

Towards maximising the use of structural VHDL for synthesis.

Kevin O'Brien, Serge Maginot, Anne Robert

Proceedings of the conference on European design automation, 1996

1992

Using VHDL for datapath synthesis.

Vincent Olive, R. Airiau, J. M. Bergé, Anne Robert

Proceedings of the conference on European design automation, 1992