%0
Generic
%T
Design verification in model-based μ-controller development using an abstract component
%A Choi, Yunja
%A Bunse, Christian
%I Springer Science and Business Media LLC
%@ 1619-1366
%@ 1619-1374
%K Modeling and Simulation
%K Software
%D 2011
%C Springer Science and Business Media LLC
%U http://slubdd.de/katalog?TN_libero_mab2