Documents publiés en "2015"

Département de génie informatique et génie logiciel

Hamadou, S., Mullins, J., Chareton, C., & Gherbi, A. (août 2015). Specifying avionic embedded systems by denotations of the time-triggered constraint-based calculus [Communication écrite]. 16th IEEE International Conference on Information Reuse and Integration (IRI 2015), San Francisco, CA. Lien externe