Model-Based Engineering of Embedded Real-Time Systems  International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /  [electronic resource] : 
edited by Holger Giese...[et al.] 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2011. 
 - 1 online resource 
 - Lecture Notes in Computer Science,  6100  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783642162770 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer system performance.<br/>Software engineering.<br/>Logic design.<br/>Computer simulation.