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.
Assisting the design of an industrial groupware system by model checking
Ter Beek M H;Gnesi S;Latella D;Massink M;Trentanni G
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_227150-doc_125250.pdf
accesso aperto
Descrizione: Assisting the design of an industrial groupware system by model checking
Dimensione
434.26 kB
Formato
Adobe PDF
|
434.26 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
