Automatic Methods for the Refinement of System Models
"Julia Seiter, Robert Wille, Rolf Drechsler"
Automatic Methods for the Refinement of System Models - Springer 2017
978-3-319-41480-5
"Engineering; Circuits and Systems; Processor Architectures; Electronics and Microelectronics, Instrumentation"
Automatic Methods for the Refinement of System Models - Springer 2017
978-3-319-41480-5
"Engineering; Circuits and Systems; Processor Architectures; Electronics and Microelectronics, Instrumentation"