ARTIST2 Workshop on Specification and Verification of Secure Embedded Systems

May 18th, 2006       Pisa, Italy organised and funded by ARTIST 

Organization

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
  • Fabio Martinelli, Istituto di Informatica e Telematica - CNR, Italy
  • Marinella Petrocchi, Istituto di Informatica e Telematica - CNR, Italy

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

Réalisation Axome - Création de sites Internet