Data di Pubblicazione:
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.
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
Model checking; Groupware
Elenco autori:
Gnesi, Stefania; Massink, Mieke; TER BEEK, MAURICE HENRI; Latella, Diego
Link alla scheda completa:
Link al Full Text:
Pubblicato in: