Merkliste 
 1 Ergebnisse 
 
1

Automatic methods for the refinement of system models 

from the specification to the implementation  SpringerBriefs in Electrical and Computer Engineering
Exemplar:  Zentrale:Magazin 02.s.5386