Verimag
Accueil > Équipes > DCS > DCS

DCS

Complex and distributed systems cover hard and soft real-time applications, security protocols and security applications as well as programs. The common feature of these systems is that their behaviour is logically and combinatorially complex, involving functional and extra-functional properties (real-time constraints, performance, security...).

We develop languages and methods for the study of fundamental problems derived from real-life issues, aiming at developing rigorous solutions that yield tools.

The DCS team revolves around four research themes :


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 874290