Tag Cloud

2 documents / tag : verification / ReSpecT

page_white_acrobat

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

page_white_acrobat

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

[ tag cloud / ReSpecT ]

ReSpecT

home • overview • publications • talks • theses • tags • people • downloads • resources • related

ReSpecT / Resources

Contacts

Giovanni Ciatto | Enrico Denti | Stefano Mariani | Andrea Omicini

ReSpecT / Related