Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. 07451 Summary - Model-Based Engineering of Embedded Real-Time Systems. In Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, editors, Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007. Volume 07451 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [doi]
Abstract is missing.