ARTIST2 / UNU-IIST Spring School in China 2006

April 3-15, 2006       Xi’an, China organised and funded by ARTIST 

Course Materials


Week 1: Design, Architectures and Implementation

Lothar Thiele and Peter Marwedel

Week 2: Modeling, Validation and Verification

Joseph Sifakis and Wang Yi

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

Réalisation Axome - Création de sites Internet