Nuvola dei tag
Nuvola dei tag
2
documenti
/
tag : verification
/
ReSpecT
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (articolo in atti, 2004) — Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (articolo in atti, 2007) — Mirko Viroli, Andrea Omicini