Travelled to:
1 × Germany
Collaborated with:
G.Zarri F.Colucci F.Dupuis R.Mariani G.Risaliti C.Tibaldi
Talks about:
protocol (1) automot (1) verif (1)
Person: M. Pasquariello
DBLP: Pasquariello:M=
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.