Sites Inria

Version française

KAIROS Research team

Logical Time for Formal Embedded System Design

Team presentation