MPG.eBooks - Search Results - "graph transformation"

Cover Image

1

Recent Trends in Algebraic Development Techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Published 2019

Springer International Publishing

“..., and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy...”

Cover Image

2

Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Published 2015

Springer International Publishing

“... development, graph transformations, term rewriting and proof systems, integration of formal specification...”