• Corsi
  • Eventi
  • Presentazioni
  • Prodotti
  • Progetti
  • Pubblicazioni
  • Riviste
  • Tesi
  • Tirocini
    • XWikiGuest
      SSO login

    • Home
    • Indice dei Documenti
    • Rubrica degli Utenti
    • Application Index

    • Global
    • Lingue
      • Lingua predefinita
    • What's New
    • Indice dei Wiki
  • Eng
  • Ita
  1. APICe
  2. 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

Partita IVA: 01131710376 — Copyright © 2008–2025 APICe@DISI – PRIVACY
Powered by XWiki 15.10.11