kernel for Traced Based System

The kTBS is a development effort of the SILEX team lead by Pierre-Antoine Champin to provide a generic kernel for Trace-Based Systems.

  • Projet 1

    Descriptif du projet 1.

  • Projet 2

    Descriptif du projet 2.

  • Projet 3

    Descriptif du projet 3.