Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
PADVES: Platforms for Analysis, Design and Verification of Embedded Systems
| June 27th, 2009 Grenoble, France | organised and funded by ARTIST |
Organizers
CANCELLED
- Kim Larsen (CISS, Aalborg University)
- Christophe Gaston (CE-LIST, Sacley)
- Susanne Graf (VERIMAG/CNRS)
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009