ARTIST2 Graduate Course on: Automated Formal Methods for Embedded Systems 2008

June 16-24, 2008       DTU - Lyngby, Denmark organised and funded by ARTIST 

Participants

Jesper Andersen Department of Computer Science, Copehagen University
Wei Liu s050903 Informatics and Mathematical Modelling, Technical University of Denmark
Anders Sejer Tranberg-Hansen Informatics and Mathematical Modelling, Technical University of Denmark
William Heise IMM/DTU Informatics and Mathematical Modelling, Technical University of Denmark
Feng Zhou MCI, Univ. of Southern Denmark
Yu Guo MCI, Univ. of Southern Denmark
Per Larsen Informatics and Mathematical Modelling, Technical University of Denmark
Michael Reibel Boesen Informatics and Mathematical Modelling, Technical University of Denmark

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

Réalisation Axome - Création de sites Internet