Travelled to:1 × USA
1 × United Kingdom
Collaborated with:M.Sebastianis M.Tivoli P.Inverardi V.Presutti M.H.t.Beek M.Massink D.Latella S.Gnesi
Talks about:protocol (1) groupwar (1) product (1) correct (1) assembl (1) system (1) cooper (1) compon (1) verif (1) studi (1)
Person: Alessandro Forghieri
DBLP: Forghieri:Alessandro
Contributed to:
2005
2004Wrote 2 papers:
- ICSE-2005-BeekMLGFS #automation #case study #protocol #verification
- A case study on the automated verification of groupware protocols (MHtB, MM, DL, SG, AF, MS), pp. 596–603.
- CBSE-2004-TivoliIPFS #assembly #component #data transformation
- Correct Components Assembly for a Product Data Management Cooperative System (MT, PI, VP, AF, MS), pp. 84–99.