Accueil > Archives > RSD (Archive) > Thèmes de recherche > Thèmes de recherche

Thèmes de recherche

[section under construction]

Modeling Analysis Implementation Design Flows
The BIP Framework Compositional Verification Real-Time Autonomous Systems
BIP Extensions Statistical Model Checking Mixed-Criticality Time-Critical Applications
Language Embedding Runtime Monitoring Decentralized Networked Embedded Systems
Information Flow Security Model Transformations Manycore Platforms

Nouvelles publications