ReSpecT Tags

ReSpecT Tags

Environment

1 doc / Tag “verification”  /  ReSpecT 

page_white_acrobat  ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2004) — Mirko Viroli, Andrea Omicini

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

ReSpecT Resources

Contacts

Giovanni Ciatto email  |  Enrico Denti email  |  Stefano Mariani email  |  Andrea Omicini email

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