000			00440nam a2200121Ia 4500
008			220620s9999||||xx |||||||||||||| ||und||
100			_aMendoza Cervantes, Francisco
245		2	_aA Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
546			_aEnglish[eng]
650			_aModeling and Simulation||System Level Design||Virtual Prototyping
856			_uhttps://www.ksp.kit.edu/9783731501695
942			_cEB
999			_c27622 _d27622