Data di Pubblicazione:
2008
Abstract:
Researchers from the Formal Methods and Tools group of ISTI-CNR and think3, Inc. are collaborating on the application of formal modelling and verification techniques to enhance think3's Product Data Management (PDM) groupware application.
Tipologia CRIS:
05.12 Altro
Keywords:
Groupware systems; Model checking
Elenco autori:
Gnesi, Stefania; Massink, Mieke; TER BEEK, MAURICE HENRI; Trentanni, Gianluca; Latella, Diego
Link alla scheda completa:
Link al Full Text:
Pubblicato in: