Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
ARTIST2 Graduate Course on: Automated Formal Methods for Embedded Systems 2008
| June 16-24, 2008 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