Automatic Methods for the Refinement of System Models
de Julia Seiter, Robert Wille, Rolf Drechsler
Materias
Ediciones (2)
- Automatic Methods for the Refinement of System Models (2016)
Springer · ISBN 9783319414799
- Automatic Methods for the Refinement of System Models (2016)
Springer London, Limited · inglés · ISBN 9783319414805