Travelled to:
1 × Germany
Collaborated with:
G.Zarri F.Dupuis R.Mariani M.Pasquariello G.Risaliti C.Tibaldi
Talks about:
protocol (1) automot (1) verif (1)
Person: F. Colucci
DBLP: Colucci:F=
Contributed to:
Wrote 1 papers:
- DATE-DF-2006-ZarriCDMPRT #on the #protocol #verification
- On the verification of automotive protocols (GZ, FC, FD, RM, MP, GR, CT), pp. 195–200.