Home > Teams > 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 | Site Map | Site powered by SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1692376