Model-Based Engineering of Embedded Real-Time Systems: Revised Selected Papers/ International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 2007

Б3.5, А3.4.

Model-Based Engineering of Embedded Real-Time Systems: Revised Selected Papers/ International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 2007Ed. by Giese H., Karsai G., Lee E., Rumpe B..-Berlin.: Springer, 2010.-Vol. 6100.-385 p.-(Lecture Notes in Computer Science).