Travelled to:
1 × Italy
Collaborated with:
L.Henrio
Talks about:
protocol (1) mechan (1) model (1) can (1)
Person: Francesco Bongiovanni
DBLP: Bongiovanni:Francesco
Contributed to:
Wrote 1 papers:
- FASE-2013-BongiovanniH #protocol
- A Mechanized Model for CAN Protocols (FB, LH), pp. 266–281.