Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers - Giese, Holger; International Dagstuhl Workshop (2007 : Dagstuhl, Wadern, Germany) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Computer system performance; Software engineering; Logic design; Computer simulation