 | Monter d'un niveau |
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
Hamadou, S., Mullins, J., Gherbi, A., & Beji, S. (avril 2015). A time-triggered constraint-based calculus for avionic systems [Communication écrite]. 18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2015), Auckland , New Zealand. Lien externe
