Research
DISC department
DEODIS
Distributed digital algorithms, mobile networks, distributed systems, verification and validation of software and embedded devices

You are here

DEODIS publications