Verimag
Home page > 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 created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 21 ; visits: 393533