Anne Robert

Publication Activity (10 Years)

Years Active: 1992-2008
Publications (10 Years): 0

Publications

Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis
Translating AADL into BIP - Application to the Verification of Real-Time Systems. MoDELS (Workshops) (2008)
Kevin O'Brien, Serge Maginot, Anne Robert
Towards maximising the use of structural VHDL for synthesis. EURO-DAC (1996)
Vincent Olive, R. Airiau, J. M. Bergé, Anne Robert
Using VHDL for datapath synthesis. EURO-DAC (1992)