|
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Subjects:
“...Electronic Circuits and Systems...”
|
by Hassan, Muhammad, Große, Daniel, Drechsler, Rolf
Published 2024
Subjects:
“...Electronic Circuits and Systems...”Published 2024
Springer International Publishing