November 5, 2009, Eindhoven, The Netherlands
Contact email: email@example.com
Embedded systems gain more and more relevance in industrial
applications. Methods for the design and validation of software
intensive embedded systems have become a very important research focus
in engineering and in computer science.
Formal methods are widely accepted as an important topic in this domain, due to rising safety and quality requirements. They provide for instance
The goal of this workshop is to summarise research from different areas of formal methods targeted to embedded systems and to promote the use of formal methods in different applications and in the engineering discipline for embedded systems.
Participation: All speakers are invited by us.
To participate in the meeting, please register your interest by
Proceedings: The speakers are encouraged to make supporting material like slides and papers available on this website. However, there are no formal proceedings, and the same material presented here can also be submitted elsewhere.