| No. | Title | Author | Year |
|---|---|---|---|
| 1 | The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062) | Méry, Dominique et al. | 2014 |
| 2 | Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441) | Giese, Holger et al. | 2012 |
| 3 | 07451 Abstracts Collection -- Model-Based Engineering of Embedded Real-Time Systems | Giese, Holger et al. | 2007 |
| 4 | 07451 Summary -- Model-Based Engineering of Embedded Real-Time Systems | Giese, Holger et al. | 2007 |
| 5 | A Model-Based Approach To Requirements Analysis | Schätz, Bernhard et al. | 2007 |
| 6 | Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme 2005 | Klein, Torsten et al. | 2005 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 6 |