Nos partenaires

CNRS

Rechercher





Accueil du site > English > Departments > Reliability of Systems and Software > SMART Team > Publications

Publications

Publications prior to January 1st, 2018 are in Publications section of MACAO Team

SMART

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.

 


Actes de conférences et de workshops / Conference proceedings

Articles de revues internationales / International journal papers

Contributions à des ouvrages de synthèse / Book chapters

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Conférences sans actes publiés / Conference papers without published proceedings
  • Florian Galinier. Formalisation des relations entre exigences. Dans : Journées nationales du GDR GPL 2018, Groupe de travail Ingénierie des Exigences, Grenoble, 12/06/18.
    BibTeX

  • Florian Galinier. Seamless development of complex systems: a multirequirements approach. (poster). Dans : Euroscience Open Forum (ESOF) 2018, Toulouse, 09/07/18-14/07/18.
    Accès : https://www.esof.eu/en/
    BibTeX

Rapports / Reports
  • Florian Galinier. Formal Semantics of Requirements Relationships for Traceability. Rapport de recherche, 2019_04_30, IRIT, avril 2019.
    Résumé
    BibTeX