Recently, researchers from the Formal Methods and Tools (FM&&T) group of ISTI-CNR teamed up with researchers from think3, a global provider of integrated product development solutions. The goal was to apply formal modelling and verification techniques to enhance think3's Product Data Management (PDM) application, 'thinkteam' (a registered trademark of think3 Inc) with a publish/subscribe notification service.
Automated verification of groupware protocols
ter Beek MH;Massink M;Gnesi S;
2004
Abstract
Recently, researchers from the Formal Methods and Tools (FM&&T) group of ISTI-CNR teamed up with researchers from think3, a global provider of integrated product development solutions. The goal was to apply formal modelling and verification techniques to enhance think3's Product Data Management (PDM) application, 'thinkteam' (a registered trademark of think3 Inc) with a publish/subscribe notification service.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_68362-doc_124719.pdf
accesso aperto
Descrizione: Automated verification of groupware protocols
Tipologia:
Versione Editoriale (PDF)
Dimensione
873.03 kB
Formato
Adobe PDF
|
873.03 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
