ARTIST WS: Tool Platforms for ES Modelling, Analysis and Validation

July 1-2, 2007       Berlin, Germany (satellite event of CAV 2007) organised and funded by ARTIST 

Organisers

This workshop is organized by the ARTIST2 European Network of Excellence ARTIST on Embedded Systems Design.

- Susanne Graf, Verimag, France (real time components and verification)
- Sébastien Gérard, CEA, France (modelling with UML)
- Kim Larsen, Aalborg University, Danmark (testing and verification)
- Jan Madsen, Techn. University of Danmark (execution platforms)
- Martin Torngren, KTH, Sweden (control of embedded systems)

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

Réalisation Axome - Création de sites Internet