Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
Lingua predefinita
What's New
Indice dei Wiki
Eng
Ita
Ricerca
APICe
Tags
Tags
Maude
Tutti i documenti taggati con
Maude
Automatic multi-platform implementation of AUML interaction protocols with the help of Petri nets
Maude: A Language for Concurrent Rewriting
The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems
Prototyping A&A ReSpecT in Maude
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Introduction to Maude rewriting language
Prototyping A&A ReSpecT in Maude
Elenco delle attività per i documenti con il tag
Maude
RSS Feed