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 - 2009
| June 17-25, 2009 DTU - Lyngby, Denmark | organised and funded by ARTIST |
Venue
- Technical University of Denmark
Department of Informatics and Mathematical Modelling,
Richard Petersens Plads, Building 305, room 053,
Kgs. Lyngby, DENMARK
- More information on Copenhagen
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009