Monter d'un niveau |
Hamadou, S., Mullins, J., & Gherbi, A. (2016). A real-time concurrent constraint calculus for analyzing avionic systems embedded in the IMA connected through TTethernet. Dans Theoretical Information Reuse and Integration (Vol. 446, 85-111). Lien externe