My search | Inria

Improve your search DEVINE

Domaines applicatifs

Thèmes scientifiques

Centres Inria associés

Ecosystème Inria

Institution Inria

Mots clés

Poste

Filter by

Sort by

By relevance
From newest to oldest

1 results for "DEVINE"

DEVINE

DEpendable distributed systems: formal VerificatIoN made Efficient

The overall goal of the Devine project-team is to contribute to the design of dependable distributed...