Document - Assisting the design of an industrial groupware system by model checking

2008

Other Open Access

Assisting the design of an industrial groupware system by model checking

Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G.

Groupware systems Model checking

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.

Publisher: ERCIM., Le Chesnay

Back to previous page

Cite as

BibTeX entry

@misc{oai:it.cnr:prodotti:227150,
	title = {Assisting the design of an industrial groupware system by model checking},
	author = {Ter Beek M.  H. and Gnesi S. and Latella D. and Massink M. and Sebastianis M. and Trentanni G.},
	publisher = {ERCIM., Le Chesnay},
	year = {2008}
}