Automatic methods for the refinement of system models from the specification to the implementation - Seiter, Julia; Wille, Rober; Drechsler, Rolf; SpringerLink (Online service). (Cham Springer, 2017)
Electronic reproduction.
Keywords: System design -- Data processing; Electronic books