Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
ARTIST Graduate Course: Automated Formal Methods for Embedded Systems - 2010
| June 14-22, 2010 DTU - Lyngby, Denmark | organised and funded by ARTIST |
Venue
- Technical University of Denmark
Department of Informatics and Mathematical Modelling,
Richard Petersens Plads, Building 322, room 205,
Kgs. Lyngby, DENMARK
- More information on Copenhagen
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009