Vincent Lefftz

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz
Runtime Verification of Typical Requirements for a Space Critical SoC Platform. FMICS (2011)
Vincent Lefftz, Jean Bertrand, Hugues Cassé, Christophe Clienti, Philippe Coussy, Laurent Maillet-Contoz, Philippe Mercier, Pierre Moreau, Laurence Pierre, Emmanuel Vaumorin
A Design Flow for Critical Embedded Systems. SIES (2010)