Our partners

CNRS

Search





Home page > Français > Productions scientifiques > Publications

Publications

Leo Motus

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Rapports / Reports

  • Leo Motus, Marc Pantel. D5.1 GeneAuto Analysis and verification of real time embedded software: State of the art. Rapport de contrat, D5.1, Institut National Polytechnique de Toulouse, mai 2007.
    BibTeX