Time-accurate Virtualization

with the support of SCALIAN Eurogiciel

This project is a direct collaboration with SCALIAN Eurogiciel to work on a middleware for communication protocol virtualization that is faithfull with respect to timing constraints.

Silvano DAL ZILIO
Silvano DAL ZILIO
CNRS Researcher

My research interests include formal methods and concurrency semantics.

Related