ReSpecT Tags

Environment

3 docs / Tag “Petri nets”  /  ReSpecT 

page_white_acrobat  Expressive Power of the ACLT Reaction Specification Language (technical report, 1997) — Enrico Denti, Antonio Natali, Andrea Omicini
page_white_acrobat  ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2004) — Mirko Viroli, Andrea Omicini
book  Implementazione automatica di protocolli di interazione AUML mediante reti di Petri (2nd cycle, 28/03/2012) — Marco Alberti

Tags:
Created by Andrea Omicini on 10/08/2021 17:06

ReSpecT Resources

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY