Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
What's New
Wiki Index
Eng
Ita
Search
Talks
Clouds
tag : Maude
tag : Maude
3 talk
Maude: A Language for Concurrent Rewriting
(Computational Models and Languages LM, 29/11/2007) —
Matteo Casadei
(Matteo Casadei)
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)
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)
[
tag cloud
/ talks ]