Publication Date:
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.
Iris type:
05.12 Altro
Keywords:
Groupware systems; Model checking
List of contributors:
Gnesi, Stefania; Massink, Mieke; TER BEEK, MAURICE HENRI; Trentanni, Gianluca; Latella, Diego
Full Text:
Published in: