Etienne Lantreibecq

Learn More
Benoit Clement, +33-476-584-238 benoit.clement@st.com Richard Hersemeule, +33-476-584-145 richard.hersemeule@st.com STMicroelectronics 5bis, Chemin de la Dhuy F-38240 Meylan France Pierre Coulomb, +33-476-584-028 pierre.coulomb@st.com Francois Pogodalla, +33-476-584-037 francois.pogodalla@st.com STMicroelectronics 5bis, Chemin de la Dhuy F-38240 Meylan(More)
The complexity of multiprocessor architectures for mobile multi-media applications renders their validation challenging. In addition, to provide the necessary flexibility, a part of the functionality is realized by software. Thus, a formal model has to take into account both hardware and software. In this paper we report on the use of LOTOS NT and CADP for(More)
The complexity of multiprocessor architectures for mobile multimedia applications renders their validation challenging. In addition, to provide the necessary flexibility, a part of the functionality is realized by software. Thus, a formal model has to take into account both hardware and software. In this article we report on the use of the CADP toolbox for(More)
  • 1