Publications

Publications de

Conférences et workshops internationaux avec actes édités et comité de lecture Rapports Thèses et habilitations
  • Clément Ballabriga

    Vérification de contraintes temporelles strictes sur des programmes par composition d’analyses partielles

    Thèse de doctorat, Université Paul Sabatier, septembre 2010.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant