tag : Maude

3 talk
page_white_powerpoint Maude: A Language for Concurrent Rewriting (Computational Models and Languages LM, 29/11/2007) — Matteo Casadei (Matteo Casadei)
page_white_powerpoint The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems (Final Report about the First Two Years of Matteo Casadei's Phd Course, 06/11/2007) — Matteo Casadei (Matteo Casadei)
page_white_powerpoint Introduction to Maude rewriting language (Computational Models and Languages - Master Degree on Computer Science Engineering of II Faculty of Engineering at Università di Bologna (Cesena), 23/11/2006) — Matteo Casadei (Matteo Casadei)

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY