Specification and Verification of Secure Embedded Systems

Organisation

  • Bruno Bouyssounouse, VERIMAG Laboratory - France
  • Sandro Etalle, University of Twente - The Netherlands
  • Steve Kremer, École Normale Supérieure de Cachan - France
  • Yassine Lakhnech, VERIMAG Laboratory - France
    • dazh dkj zhakldj azlk dazlk
    • dazjh djaz djkdj hzajhd azh djazh
      • dzadazjk hdkazj
      • dzajhd jkaz dazd
  • Fabio Martinelli, Istituto di Informatica e Telematica - CNR, Italy
  • Marinella Petrocchi, Istituto di Informatica e Telematica - CNR, Italy

  1. ddazjk dhazkj dzkja dzjak dlkaz
    1. dezh dh zendb ze,nd bzfezfze
    2. dezjjj djjkezhdzjhgf jhzfg zfhg zf
      1. dezkh dkze hdkjze dkjze hfjk zehjkf zek
      2. dezj hdjkze hjkdfze fhhfhjhzfkjze hfkjzeh
    3. dezjkd hezjk jhhhhdj djze dkj zedjk lkj
  2. dnndn,zedbn,znebd,zen fjhzeg fjhhhh

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet