Frédéric Boniol. Vérification d architectures embarquées : un enjeu aux multiples facettes. In Yamine Aït Ameur, editor, 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 3-7 Mars 2008, Montréal, Québec, Canada. Volume RNTI-L-2 of Revue des Nouvelles Technologies de l Information, pages 1, Cépaduès-Éditions, 2008.
Abstract is missing.