Actions de recherche

• Algorithmique TRDF
  • Systèmes Transactionnels Répartis Temps Réel ()
  • Systèmes Critiques Embarqués Prouvables
• Appartenance à un groupe
• Ordonnancement temps réel non préemptif
• Ordonnancement réparti temps réel non préemptif
• Méthodologie TRDF pour la conception et le dimensionnement prouvables de systèmes critiques complexes