![]() | Monter d'un niveau |
Chareton, C., Brunel, J., & Chemouil, D. (septembre 2015). Evaluating the Assignment of Behavioral Goals to Coalitions of Agents [Communication écrite]. 18th Brazilian Symposium on Formal Methods (SBMF 2015), Belo Horizonte, Brazil. Lien externe
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